What is a model of the lambda calculus?

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)