Un type abstrait (ADT) est un modèle mathématique pour les types de données, un type de données étant défini par son comportement (sémantique) du point de vue de l’utilisateur des données, en particulier dans les valeurs possibles, opérations possibles sur des données de ce type et comportement de ces opérations.