Models of the lambda calculus

DOI10.1016/S0019-9958(82)90796-3zbMATH Open0542.03004WikidataQ56445469 ScholiaQ56445469MaRDI QIDQ3329436FDOQ3329436

Authors: Christiaan Peter Jozef Koymans 

Publication date: 1982

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

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

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)

Cited In (39)

• Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
• Logical semantics for stability
• Universal profinite domains
• Essential and relational models
• The Impact of the Lambda Calculus in Logic and Computer Science
• Universal homogeneous event structures and domains
• Title not available (Why is that?)
• Classical lambda calculus in modern dress
• Models for the computational \(\lambda\)-calculus
• Semantics of the second order lambda calculus
• The parametric lambda calculus. A metamodel for computation.
• On functions preserving levels of approximation: A refined model construction for various lambda calculi
• Categorical models of the differential \(\lambda\)-calculus revisited
• Categorical models for non-extensional λ-calculi and combinatory logic
• On combinatory algebras and their expansions
• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• The theory of semi-functors
• Computer Science Logic
• On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory
• Numeration Models of λ‐Calculus
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?
• 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
• Title not available (Why is that?)
• The gamma model and its discipline of programming
• What is a model for a semantically linear  -calculus?

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)