✦ LIBER ✦

The graphical Krivine machine

✍ Scribed by Sylvain Lippi

Publisher: Springer
Year: 2007
Tongue: English
Weight: 702 KB
Volume: 20
Category: Article
ISSN: 1388-3690
DOI: 10.1007/s10990-007-9011-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The next 700 Krivine machines

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

On the correctness of the Krivine machin

On the correctness of the Krivine machine

✍ Mitchell Wand 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 177 KB

Strongly reducing variants of the Krivin

Strongly reducing variants of the Krivine abstract machine

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

Explaining the lazy Krivine machine usin

Explaining the lazy Krivine machine using explicit substitution and addresses

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

Shoenfield is Gödel after Krivine

✍ Thomas Streicher; Ulrich Kohlenbach 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 95 KB

## Abstract We show that Shoenfield's functional interpretation of Peano arithmetic can be factorized as a negative translation due to J. L. Krivine followed by Gödel's Dialectica interpretation. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

Computer graphics system for machine too

Computer graphics system for machine tool project

📂 Article 📅 1969 🏛 Elsevier Science 🌐 English ⚖ 86 KB