✦ LIBER ✦

Writing Is Interactive, Not Recursive

✍ Scribed by Leif Fearn

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

(Optimal) duplication is not elementary

✍ Andrea Asperti; Paolo Coppola; Simone Martini 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 701 KB

Makanin's algorithm is not primitive rec

✍ Antoni Kościelski; Leszek Pacholski 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 722 KB

Parallel Beta Reduction Is Not Elementar

✍ Andrea Asperti; Harry G. Mairson 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 309 KB

The first example of a recursive functio

✍ Cristian Calude; Solomon Marcus; Ionel Tevy 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 280 KB

The typed λ-calculus is not elementary r

✍ Richard Statman 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 982 KB

Is there a science to writing (particula

✍ Clark, Dean 📂 Article 📅 1993 🏛 GeoScienceWorld 🌐 English ⚖ 52 KB