Models of the lambda calculus

DOI10.1016/S0019-9958(82)90796-3MaRDI QIDQ3329436zbMATH OpenWikidataFDO

Authors Christiaan Peter Jozef Koymans

Publication date 1982

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0019-9958(82)90796-3

zbMATH Keywords

cartesian closed categoriescategorical modelsenvironmental modelsfirst order modelslambda algebralambda calculuslambda model

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• scientific article; zbMATH DE number 3889501
• scientific article; zbMATH DE number 3889500
• Models of the lambda calculus: an introduction
• Not Enough Points Is Enough
• Models for the computational \(\lambda\)-calculus

Cited in

(40)

• Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
• Universal profinite domains
• On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
• Enlargements of functional algebras for the lambda calculus
• Inheritance as implicit coercion
• Universal homogeneous event structures and domains
• On functions preserving levels of approximation: A refined model construction for various lambda calculi
• Categorical models of the differential \(\lambda\)-calculus revisited
• Logical semantics for stability
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?
• Easy lambda-terms are not always simple
• What is a model for a semantically linear  -calculus?
• A General Class of Models of $\mathcal{H}^*$
• scientific article; zbMATH DE number 3889500 (Why is no real title available?)
• scientific article; zbMATH DE number 3889501 (Why is no real title available?)
• Not Enough Points Is Enough
• scientific article; zbMATH DE number 4051567 (Why is no real title available?)
• Semantics of the second order lambda calculus
• Universal domains and the amalgamation property
• The theory of semi-functors
• Categorical models for non-extensional λ-calculi and combinatory logic
• The Impact of the Lambda Calculus in Logic and Computer Science
• Relational graph models at work
• Numeration Models of λ‐Calculus
• A remark on the theory of semi-functors
• Models for the computational \(\lambda\)-calculus
• Semantics of linear/modal 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
• Addressing machines as models of \(\lambda\)-calculus
• Categorical models of the differential λ-calculus
• Essential and relational models
• Classical lambda calculus in modern dress
• Computer Science Logic
• scientific article; zbMATH DE number 5199143 (Why is no real title available?)
• The parametric lambda calculus. A metamodel for computation.
• The semantics of second-order lambda calculus
• The gamma model and its discipline of programming
• On combinatory algebras and their expansions
• A category-theoretic characterization of functional completeness

This page was built for publication: Models of the lambda calculus

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