Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 495-512
- https://doi.org/10.1007/3-540-54415-1_61
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A note on inconsistencies caused by fixpoints in a cartesian closed categoryTheoretical Computer Science, 1990
- The semantics of second-order lambda calculusInformation and Computation, 1990
- Domain theoretic models of polymorphismInformation and Computation, 1989
- Theorems for free!Published by Association for Computing Machinery (ACM) ,1989
- Extensional models for polymorphismTheoretical Computer Science, 1988
- The system F of variable types, fifteen years laterTheoretical Computer Science, 1986
- Automatic synthesis of typed Λ-programs on term algebrasTheoretical Computer Science, 1985
- Second-order logical relationsPublished by Springer Nature ,1985
- Polymorphism is not set-theoreticPublished by Springer Nature ,1984
- Equality between functionalsPublished by Springer Nature ,1975