On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa
- 22 November 2005
- book chapter
- Published by Springer Nature
- p. 198-212
- https://doi.org/10.1007/bfb0018353
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Categorical semantics for higher order polymorphic lambda calculusThe Journal of Symbolic Logic, 1987
- An interval model for second order lambda calculusPublished by Springer Nature ,1987
- Adjunction of semifunctors: Categorical structures in nonextensional lambda calculusTheoretical Computer Science, 1985
- The semantics of second order polymorphic lambda calculusLecture Notes in Computer Science, 1984
- Models of the lambda calculusInformation and Control, 1982
- Equality between functionalsPublished by Springer Nature ,1975