✦ LIBER ✦

Linear-Time Self-Interpretation of the Pure Lambda Calculus

✍ Scribed by Torben Æ. Mogensen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Confluence of the lambda calculus with l

✍ Fritz Müller 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 611 KB

The application of a piecewise-linear mu

✍ N.M. Frew; L.E. Wangen; T.L. Isenhour 📂 Article 📅 1971 🏛 Elsevier Science 🌐 English ⚖ 813 KB

The parallel dehydrative and dehydrogena

✍ G Patermarakis 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 165 KB