1. La structure d'Arbre : T.A. (Type Abstrait)
2. La structure d'Arbre : la méthode déductive
3. La structure d'Arbre : l'environnement monolingual
4. La structure d'Arbre : les environnements monolinguaux dédiés
5. La structure d'Arbre : la programmation paramétrée
Pour J. Heering et P. Klint [HeK 85], seuls satisfont aux critères de l'environnement monolingual les environnements INTERLISP (Lisp, [TeM 81]) et Smalltalk (Smalltalk-80, [Gol 80]). Dans les deux cas il s'agit d'un langage interprété – éventuellement semi-compilé – qui réalise la liaison dynamique des identificateurs. On y trouve donc assez naturellement la notion d'Arbres de Classes :
Classe : les Objets-Types sont ici les fonctions (Lisp) ou les classes (Smalltalk) : le caractère interprété des langages permet de facilement construire de nouveaux Objets-Types et de les inclure dans la bibliothèque – plus spécialement avec Smalltalk où la classe du langage s'identifie à la Classe du critère.
Arbre : les "objets" définis (fonctions, classes) sont placés dans une hiérarchie ; avec la récursivité on a une composante de Graphe, mais qui n'est apparente en fait que sur la forme évaluée des "objets", et non sur leur structure déclarative. De ce fait on reste placé au niveau des Arbres.