1. Lecture Notes in Computer Science;M. Coppo,1980
2. Coppo, M., Dezani-Ciancaglini, M.: An Extension of the Basic Functionality Theory for the λ-calculus. Notre Dame Journal of Formal Logic 21(4), 685–693 (1980)
3. SIGPLAN Notices;R. Davies,2000
4. Dezani-Ciancaglini, M., Ronchi Della Rocca, S.: Intersection and Reference Types. In: Barendsen, E., Capretta, V., Geuvers, H., Niqui, M. (eds.) Reflections on Type Theory, Lambda Calculus, and the Mind, pp. 77–86. Radboud University Nijmegen (2007)
5. Girard, J.-Y.: Interprétation Fonctionnelle et Elimination des Coupures de l’Arithmétique d’Ordre Supérieur. Thèse d’Etat, Université de Paris VII (1972)