The semantics of second order polymorphic lambda calculus
- 1 January 1984
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 131-144
- https://doi.org/10.1007/3-540-13346-1_6
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A filter lambda model and the completeness of type assignmentThe Journal of Symbolic Logic, 1983
- The Expressiveness of Simple and Second-Order Type StructuresJournal of the ACM, 1983
- Polymorphic type inferencePublished by Association for Computing Machinery (ACM) ,1983
- Models of the lambda calculusInformation and Control, 1982
- What is a model of the lambda calculus?Information and Control, 1982
- Lambda‐Calculus Models and ExtensionalityMathematical Logic Quarterly, 1980
- On the Semantics of “Data Type”SIAM Journal on Computing, 1979
- The Type Free Lambda CalculusPublished by Elsevier ,1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- Towards a theory of type structureLecture Notes in Computer Science, 1974