✦ LIBER ✦

Parallel Beta Reduction Is Not Elementary Recursive

✍ Scribed by Andrea Asperti; Harry G. Mairson

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

The typed λ-calculus is not elementary r

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

Heart Rate Reduction Is Probably Not the

✍ Gabriele Fragasso; Anna Salerno; Alberto Margonato 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 53 KB

537 Portal-pressure gradient reduction b

✍ Massimo Pozzi; Guido Grassi; Laura Ratti; Giorgio Favini; Elena Redaelli; Fosca 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 139 KB