scientific article; zbMATH DE number 7355443

zbMath1474.03068MaRDI QIDQ4991956

Mark E. Hall

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.

zbMATH Keywords

lambda calculusapplicative structurecomplete partial orderlambda modelcombinatorial completeness

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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: