✦ LIBER ✦

Functions over free algebras definable in the simply typed lambda calculus

✍ Scribed by Daniel Leivant

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Inhabitation of Types in the Simply Type

✍ W. Dekkers 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 183 KB

[Lecture Notes in Computer Science] Stat

✍ Charlier, Baudouin 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 744 KB