✦ LIBER ✦

Higher-Order Substitutions

✍ Scribed by Dominic Duggan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Higher Order Unification via Explicit Su

✍ Gilles Dowek; Thérèse Hardin; Claude Kirchner 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 481 KB

Explicit substitutions and higher-order

✍ Neil Ghani; Tarmo Uustalu; Makoto Hamana 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 403 KB

Normalisation for higher-order calculi w

✍ Eduardo Bonelli 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 578 KB

Higher-ordered rules for symbolic substi

✍ S.P. Kozaitis 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 205 KB

Higher-Order Intentionality and Higher-O

✍ Benj Hellie 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 297 KB

Higher order dyes

📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 89 KB