1. Domains and Lambda-Calculi, volume 46 of Cambridge Tracts in Theoretical Computer Science;Amadio,1998
2. Categories, Types and Structures;Asperti,1991
3. On understanding types, data abstraction, and polymorphism;Cardelli;ACM Computing Surveys,1985
4. Introduction to Mathematical Logic;Church,1956
5. Mathematical Intuitionism;Dragalin,1988