✦ LIBER ✦

Inhabitation of Types in the Simply Typed Lambda Calculus

✍ Scribed by W. Dekkers

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Functions over free algebras definable i

✍ Daniel Leivant 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 805 KB

The simply typed rewriting calculus

✍ Horatiu Cirstea; Claude Kirchner 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 202 KB

Telescopic mappings in typed lambda calc

✍ N.G. de Bruijn 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 749 KB

On Functors Expressible in the Polymorph

✍ J.C. Reynolds; G.D. Plotkin 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 900 KB

Reducibility of types in typed lambda ca

✍ Wil Dekkers 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 218 KB

Inductive types and type constraints in

✍ Nax Paul Mendler 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 902 KB