✦ LIBER ✦

On the correctness of the Krivine machine

✍ Scribed by Mitchell Wand

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The graphical Krivine machine

✍ Sylvain Lippi 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 702 KB

The next 700 Krivine machines

✍ Rémi Douence; Pascal Fradet 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 676 KB

Strongly reducing variants of the Krivin

✍ Pierre Crégut 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 377 KB

Explaining the lazy Krivine machine usin

✍ Frédéric Lang 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 350 KB

On the Correctness of Goscinski′s Algori

✍ R. Baldoni; B. Ciciani; G. Cioffi 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 320 KB

On the Existence, Uniqueness and Correct

✍ F. Tonon; S. Chen 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 368 KB