✦ LIBER ✦

Higher Order Unification via Explicit Substitutions

✍ Scribed by Gilles Dowek; Thérèse Hardin; Claude Kirchner

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Tenth Annual IEEE Symposium on Log

✍ Dowek, G.; Hardin, T.; Kirchner, C. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 677 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-Order Unification: A structural r

✍ Flávio L.C. de Moura; Mauricio Ayala-Rincón; Fairouz Kamareddine 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 532 KB

Higher-Order Substitutions

✍ Dominic Duggan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 492 KB

Deaccenting and Higher-Order Unification

✍ Claire Gardent 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 114 KB