✦ LIBER ✦

(Optimal) duplication is not elementary recursive

✍ Scribed by Andrea Asperti; Paolo Coppola; Simone Martini

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Parallel Beta Reduction Is Not Elementar

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

The typed λ-calculus is not elementary r

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

Writing Is Interactive, Not Recursive

✍ Leif Fearn 📂 Article 📅 1990 ⚖ 185 KB

Duplicate publication is not acceptable

✍ Karen Grimmer 📂 Article 📅 2005 🏛 Australian Physiotherapy Association 🌐 English ⚖ 65 KB

Makanin's algorithm is not primitive rec

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

The first example of a recursive functio

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