✦ LIBER ✦

A Calculus of Lambda Calculus Contexts

✍ Scribed by Mirna Bognar; Roel de Vrijer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The lambda-context calculus (extended ve

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

The differential lambda-calculus

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

Demonstrating Lambda Calculus Reduction

✍ Peter Sestoft 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 129 KB

Applications of infinitary lambda calcul

✍ Henk Barendregt; Jan Willem Klop 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 410 KB

Models of the lambda calculus

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

Lambda calculus as a workflow model

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