1. A. Burroni, Conférence (non-publiée) aux journées d'études E.L.I.T., 27 juin-2 juillet 1988.
2. A. Burroni, Le problème des mots dans les ∞-catégories, Preprint (1991)
3. P.L. Curien, Substitution up to isomorphisms, Actes des journées d'études E.L.I.T., 27 juin-2 juillet 1998, Diagrammes vol. 23 (1990), 43–66.
4. Y. Lafont, Private communication.
5. W. Lawvere, Functorial semantics of algebraic theories, Dissertation, Columbia University (1963).