Publication:3216629
From MaRDI portal
zbMath0554.03012MaRDI QIDQ3216629
Publication date: 1984
03C65: Models of other mathematical theories
03B40: Combinatory logic and lambda calculus
03C55: Set-theoretic model theory
Related Items
Equational theories for inductive types, The semantics of second-order lambda calculus, Fixed points in Cartesian closed categories, Functorial polymorphism, The Girard-Reynolds isomorphism (second edition), A modest model of records, inheritance, and bounded quantification, A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction, The system \({\mathcal F}\) of variable types, fifteen years later, The calculus of constructions, A small complete category, On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory, Finitely stratified polymorphism, Subtyping can have a simple semantics, Categorical models of polymorphism, From constructivism to computer science, Parametricity as isomorphism, Covariant types, Domain theoretic models of polymorphism, The Girard-Reynolds isomorphism, On completeness and cocompleteness in and around small categories, Polymorphic extensions of simple type structures. With an application to a bar recursive minimization, A higher-order calculus and theory abstraction, Unnamed Item