scientific article; zbMATH DE number 4051567

zbMATH Open0645.03012MaRDI QIDQ3787977FDOQ3787977

Authors: Simone Martini 

Publication date: 1987

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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
• The semantics of second-order lambda calculus
• Recursion over realizability structures
• 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)