1. R. Amadio, K. Bruce, G. Longo, The finitary projection model for 2nd order calculus, IEEE Conf. on Logic in Computer Science, Boston, Juin, 1986.
2. A full continuous model of polymorphism;Barbanera;Theoret. Comput. Sci.,2003
3. H. Barendregt, The lambda-calculus, its syntax and semantics, Studies in Logic, revised ed., Vol. 103, North-Holland, Amsterdam, 1984.
4. Retractions on dI-domains as a model for type;Berardi;Inform. and Comput.,1991
5. βη-complete models for System F;Berardi;Math. Struct. Comput. Sci.,2002