Models of the lambda calculus
From MaRDI portal
Publication:3329436
Recommendations
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)