✦ LIBER ✦

A note on preservation of strong normalisation in the -calculus

✍ Scribed by José Espírito Santo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the extremal surfaces in the c

✍ E. K. Haviland 📂 Article 📅 1934 🏛 Springer-Verlag 🌐 French ⚖ 107 KB

A note on the identity operators of frac

✍ R. K. Raina 📂 Article 📅 1992 🏛 Indian Academy of Sciences 🌐 English ⚖ 200 KB

A note on the theory of the first variat

✍ W. H. Young 📂 Article 📅 1910 🏛 Springer Milan 🌐 Italian ⚖ 329 KB

A note on the computational complexity o

✍ Gunnar Stålmarck 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 215 KB

A note on the preservation of soil ameba

✍ D.I. Annear 📂 Article 📅 1970 🏛 Elsevier Science 🌐 English ⚖ 97 KB

A note on the strong polynomiality of co

✍ Sung-Pil Hong; Sushil Verma 📂 Article 📅 1995 🏛 Springer-Verlag 🌐 English ⚖ 569 KB