The following pages link to Models of the lambda calculus (Q3329436):
Displaying 31 items.
- The parametric lambda calculus. A metamodel for computation. (Q703856) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- The gamma model and its discipline of programming (Q751838) (← links)
- On combinatory algebras and their expansions (Q760416) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus (Q1075312) (← links)
- Universal profinite domains (Q1093371) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Universal homogeneous event structures and domains (Q1175945) (← links)
- On functions preserving levels of approximation: A refined model construction for various lambda calculi (Q1275633) (← links)
- Categorical models of the differential \(\lambda\)-calculus revisited (Q1744378) (← links)
- Logical semantics for stability (Q2805169) (← links)
- What is a categorical model of the differential and the resource \(\lambda \)-calculi? (Q2888856) (← links)
- Easy lambda-terms are not always simple (Q2889181) (← links)
- What is a model for a semantically linear -calculus? (Q2937685) (← links)
- (Q3787977) (← links)
- Semantics of the second order lambda calculus (Q4006235) (← links)
- Universal domains and the amalgamation property (Q4279243) (← links)
- The theory of semi-functors (Q4279250) (← links)
- Categorical models for non-extensional λ-calculi and combinatory logic (Q4279260) (← links)
- The Impact of the Lambda Calculus in Logic and Computer Science (Q4359526) (← links)
- (Q4580329) (← links)
- Numeration Models of λ‐Calculus (Q4722039) (← links)
- A remark on the theory of semi-functors (Q4847309) (← links)
- Semantics of linear/modal lambda calculus (Q4934238) (← links)
- On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa (Q5096261) (← links)
- (Q5101343) (← links)
- Categorical models of the differential λ-calculus (Q5108533) (← links)
- Essential and relational models (Q5269000) (← links)
- (Q5309601) (← links)
