✦ LIBER ✦

Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion

✍ Scribed by G.M. Bierman; A.M. Pitts; C.V. Russo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Transformation of a linear differential

✍ V.V. Karamyshkin 📂 Article 📅 1958 🏛 Elsevier Science 🌐 English ⚖ 104 KB

Spectral properties of a linear operator

✍ John N. Welch 📂 Article 📅 1971 🏛 Springer 🌐 English ⚖ 238 KB

On the spectral properties of differenti

✍ V. B. Didenko 📂 Article 📅 2011 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 631 KB

Some inclusion relationships and integra

✍ M. K. Aouf; A. Shamandy; A. O. Mostafa; F. El-Emam 📂 Article 📅 2012 🏛 SP Versita 🌐 English ⚖ 192 KB