✦ LIBER ✦

Models of the lambda calculus

✍ Scribed by C.P.J. Koymans

Book ID: 114037627
Publisher: Elsevier Science
Year: 1982
Weight: 857 KB
Volume: 52
Category: Article
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(82)90796-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Syntactic Characterization of the Equa

A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus

✍ Hyland, M. 📂 Article 📅 1976 🏛 Oxford University Press 🌐 English ⚖ 225 KB

Construction of the model of the lambda

Construction of the model of the lambda calculus system with algebraic operators

✍ Ruzhan Lu; Zheng Zhang; Yongqiang Sun 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 253 KB

[Undergraduate Topics in Computer Scienc

[Undergraduate Topics in Computer Science] Models of Computation Volume 1370 || The Lambda Calculus

✍ Fernández, Maribel 📂 Article 📅 2009 🏛 Springer London 🌐 English ⚖ 349 KB

A Concise Introduction To Computation Models And Computability Theory Provides An Introduction To The Essential Concepts In Computability, Using Several Models Of Computation, From The Standard Turing Machines And Recursive Functions, To The Modern Computation Models Inspired By Quantum Physics. An

Lambda calculus as a workflow model

✍ Peter M. Kelly; Paul D. Coddington; Andrew L. Wendelborn 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 404 KB

A Calculus of Lambda Calculus Contexts

✍ Mirna Bognar; Roel de Vrijer 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 207 KB

The differential lambda-calculus

✍ Thomas Ehrhard; Laurent Regnier 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 456 KB