Models of the lambda calculus
From MaRDI portal
Publication:3329436
DOI10.1016/S0019-9958(82)90796-3zbMath0542.03004WikidataQ56445469 ScholiaQ56445469MaRDI QIDQ3329436
Christiaan Peter Jozef Koymans
Publication date: 1982
Published in: Information and Control (Search for Journal in Brave)
categorical modelslambda calculusenvironmental modelscartesian closed categorieslambda algebrafirst order modelslambda model
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)
Related Items
What is a categorical model of the differential and the resource λ-calculi?, Easy lambda-terms are not always simple, Universal profinite domains, Universal domains and the amalgamation property, The theory of semi-functors, Categorical models for non-extensional λ-calculi and combinatory logic, Semantics of the second order lambda calculus, On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory, On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa, A remark on the theory of semi-functors, Categorical models of the differential λ-calculus, A category-theoretic characterization of functional completeness, Inheritance as implicit coercion, Universal homogeneous event structures and domains, The Impact of the Lambda Calculus in Logic and Computer Science, Categorical models of the differential \(\lambda\)-calculus revisited, Unnamed Item, Logical Semantics for Stability, Unnamed Item, The semantics of second-order lambda calculus, On combinatory algebras and their expansions, On functions preserving levels of approximation: A refined model construction for various lambda calculi, Essential and relational models, Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus