scientific article; zbMATH DE number 4051567

MaRDI QIDQ3787977zbMATH OpenFDO

Authors Simone Martini

Publication date 1987

zbMATH Keywords

Ideal Modelnon-extensional modelssemantics of second order lambda calculusweak extensionality property

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• The semantics of second-order lambda calculus
• Semantics of the second order lambda calculus
• scientific article; zbMATH DE number 3882403
• An elementary fragment of second-order lambda calculus
• scientific article; zbMATH DE number 3889500
• Models of the lambda calculus
• Ordered models of the lambda calculus
• Models of the lambda calculus: an introduction
• On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa
• The Intensional Lambda Calculus

Cited in

(8)

• Semantics of the second order lambda calculus
• On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa
• Recursion over realizability structures
• The semantics of second-order lambda calculus
• The theory of semi-functors
• Pre-adjunctions in order enriched categories
• Categorical models of polymorphism
• On nonstandard models in higher order logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3787977)