✦ LIBER ✦

A call-by-name lambda-calculus machine

✍ Scribed by Jean-Louis Krivine

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Call-by-name, call-by-value, call-by-nee

✍ J. Maraist; M. Odersky; D.N. Turner; P. Wadler 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 206 KB

Call-by-name, Call-by-value, Call-by-nee

✍ John Maraist; Martin Odersky; David N. Turner; Philip Wadler 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 1011 KB

State-transition machines for lambda-cal

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

Call-by-value, call-by-name, and strong

✍ Stéphane Lengrand 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 958 KB

Call-by-name, call-by-value, call-by-nee

📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 80 KB

Space-Profiling Semantics of the Call-by

✍ Yasuhiko Minamide 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 807 KB