✦ LIBER ✦

Call-by-value, call-by-name, and strong normalization for the classical sequent calculus

✍ Scribed by Stéphane Lengrand

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

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