scientific article; zbMATH DE number 7355443
From MaRDI portal
Publication:4991956
zbMath1474.03068MaRDI QIDQ4991956
Publication date: 4 June 2021
Full work available at URL: http://math.sc.chula.ac.th/cjm/content/survey-article-models-lambda-calculus-introduction
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Set theory. An introduction to independence proofs
- Algebras and combinators
- Map theory
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
- The Impact of the Lambda Calculus in Logic and Computer Science
- What is a model of the lambda calculus?
- An Unsolvable Problem of Elementary Number Theory
- A \(\kappa\)-denotational semantics for map theory in ZFC+SI
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: