✦ LIBER ✦

The lambda-context calculus (extended version)

✍ Scribed by Murdoch J. Gabbay; Stéphane Lengrand

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Calculus of Lambda Calculus Contexts

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

Scheme: A Interpreter for Extended Lambd

✍ Gerald Jay Sussman; Guy L. Steele 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 114 KB

The differential lambda-calculus

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

Models of the lambda calculus

✍ C.P.J. Koymans 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 857 KB

The λ-context Calculus

✍ Murdoch J. Gabbay; Stéphane Lengrand 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 332 KB

Polymorphic lambda calculus: the Church-

✍ George Koletsos 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 366 KB