On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa

DOI10.1007/BFb0018353zbMath1496.03061MaRDI QIDQ5096261

Bart Jacobs

Publication date: 16 August 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Types, abstraction, and parametric polymorphism, part 2 ⋮ Categorical models of polymorphism

Cites Work

• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
• Models of the lambda calculus
• Categorical semantics for higher order polymorphic lambda calculus

This page was built for publication: On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa