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)

zbMATH Keywords

lambda calculuscategorical modelsenvironmental modelscartesian closed categorieslambda algebrafirst order modelslambda 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

(39)

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

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)