A set-theoretic model for a typed polymorphic lambda calculus a contribution to MetaSoft
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 267-298
- https://doi.org/10.1007/3-540-50214-9_21
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- MetaSoft PrimerPublished by Springer Nature ,1987
- The semantics of second order polymorphic lambda calculusLecture Notes in Computer Science, 1984
- The Expressiveness of Simple and Second-Order Type StructuresJournal of the ACM, 1983
- Universal AlgebraPublished by Springer Nature ,1981
- Edinburgh LCFLecture Notes in Computer Science, 1979