What is a model of the lambda calculus?
From MaRDI portal
Publication:4744243
Cited in
(45)- Applications of type theory
- Type inference with simple subtypes
- A relative PCF-definability result for strongly stable functions and some corollaries
- Logical semantics for stability
- scientific article; zbMATH DE number 1531361 (Why is no real title available?)
- Computability in higher types, P\(\omega\) and the completeness of type assignment
- Correctness of procedure representations in higher-order assembly language
- Representation of varieties in combinatory algebras
- Proof-functional connectives and realizability
- An algebraic semantics of higher-order types with subtypes
- Full abstraction and the Context Lemma (preliminary report)
- A Filter Model for the λμ-Calculus
- Kripke-style models for typed lambda calculus
- Topology, domain theory and theoretical computer science
- Lambda abstraction algebras: representation theorems
- Intersection and union types
- The semantics of second-order lambda calculus
- Easy lambda-terms are not always simple
- On combinatory algebras and their expansions
- On the construction of stable models of untyped \(\lambda\)-calculus
- Can LCF be topped! Flat lattice models of typed \(\lambda{}\)-calculus
- Extensional models for polymorphism
- A finite equational axiomatization of the functional algebras for the lambda calculus
- Towards lambda calculus order-incompleteness
- Higher-order order-sorted algebras
- A generalized Kahn Principle for abstract asynchronous networks
- Enlargements of functional algebras for the lambda calculus
- The abstract variable-binding calculus
- Completeness of type assignment in continuous lambda models
- A note on the proof theory of the \(\lambda \Pi\)-calculus
- Type inference, abstract interpretation and strictness analysis
- Primitive recursive functional with dependent types
- Functional programming with combinators
- The interpretation of unsolvable λ-terms in models of untyped λ-calculus
- A category-theoretic characterization of functional completeness
- scientific article; zbMATH DE number 7577574 (Why is no real title available?)
- Call-by-value combinatory logic and the lambda-value calculus
- The untyped computational \(\lambda \)-calculus and its intersection type discipline
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models
- Quantitative domains and infinitary algebras
- Polymorphic type inference and containment
- On the algebraic models of lambda calculus
- Models of the lambda calculus: an introduction
- Inheritance as implicit coercion
- Infinite \(\lambda\)-calculus and types
This page was built for publication: What is a model of the lambda calculus?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4744243)