1. Abramsky S., Domain Theory in Logical Form, Annals of Pure and Applied Logics 51 (1991), 1–77.
2. Altenkirch T., Ein Konstruktiver Ansatz zur Konjunktiven Typisierung des λ-kalkuls, Diplomarbeit, TU Berlin, (1983).
3. Barendregt H.P., The Lambda Calculus: its Syntax and Semantics, Studies in Logic and the Foundations of Math. 103, North-Holland, (1984).
4. Barendregt H.P., Coppo M., Dezani-Ciancaglini M., A Filter Lambda Model and the Completeness of Type Assignment, J. Symbolic Logic 48 (1983), 931–940.
5. Berarducci A., Programmazione Funzionale e Rappresentabilità in alcuni sistemi di Logica Combinatoria, Tesi di Laurea, Università di Roma, (1983).