✦ LIBER ✦

Demonstrating Lambda Calculus Reduction

✍ Scribed by Peter Sestoft

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Combinatory weak reduction in lambda cal

✍ Naim Çağman; J.Roger Hindley 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 519 KB

The differential lambda-calculus

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

Towards Lambda Calculus Order-Incomplete

✍ Antonino Salibra 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 263 KB

Lambda-Calculus with Director Strings

✍ Maribel Fernández; Ian Mackie; François-Régis Sinot 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 404 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

State-transition machines for lambda-cal

✍ David A. Schmidt 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 283 KB