1. G. Berry, Some Syntactic and Categorical Constructions of Lambdacalculus models, Rapport INRIA 80 (1981).
2. N.G. De Bruijn, Lambda-calculus Notation without Nameless Dummies, a Tool for Automatic Formula Manipulation, Indag Math. 34, 381–392 (1972).
3. P-L. Curien, Algorithmes Séquentiels sur Structures de Données Concrètes, Thèse de Troisième Cycle, Université Paris VII (Mars 1979).
4. P-L. Curien, Combinateurs Catégoriques, Algorithmes Séquentiels et Programmation Applicative, Thèse d'Etat, Université Paris VII (Décembre 83), to be published in english as a monograph.
5. P-L. Curien, Categorical Combinatory Logic, submitted to ICALP 85.