1. S. Abramsky: Domain Theory in Logical Form. Annals of Pure and Applied Logic, 51 (1991) 1–77.
2. S. Abramsky: A The lazy λ-calculus. In D. Turner ed. Research Topics in Functional Programming, Addison-Wesley, Reading, MA.
3. H.P. Barendregt, M. Coppo, M. Dezani-Ciancaglini: A Filter λ-models and Completeness of Type Assignment. Journal of Symbolic Logic, 48 (1983) 931–940.
4. F. Barbanera, M. Dezani-Ciancaglini: Intersection and Union Types TACS'91, LNCS, 526 (1991), 651–674.
5. F. Barbanera, M. Dezani-Ciancaglini, U. de' Liguoro:Intersection and Union Types: Syntax and Semantics. Information and Computation, to appear.