1. R. Amadio, K.B. Bruce, G. Longo, The finitary projection model for second-order lambda-calculus, in Logic in Computer Science, IEEE Computer Society Press, New York, 1986, pp. 122–130.
2. H. Barendregt, The λ-calculus, its syntax and semantics, Studies in Logic, Vol. 103, revised edition, North-Holland, Amsterdam, 1984.
3. Retractions on dI-domains as a model for Type:Type;Berardi;Inform. Comput.,1991
4. S. Berardi, Ch. Berline, Building continuous webbed models for system F, in: Proceedings of MFPS 14.
5. S. Berardi, C. Berline, β–η complete models for system F, Tech. Report Dip. di Informatica, Universitá di Torino,1998.