✦ LIBER ✦

Explicit substitutions and higher-order syntax

✍ Scribed by Neil Ghani; Tarmo Uustalu; Makoto Hamana

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

Normalisation for higher-order calculi w

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

Higher-Order Substitutions

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

Higher-order abstract syntax

✍ Pfenning, F.; Elliot, C. 📂 Article 📅 1988 🏛 Association for Computing Machinery ⚖ 985 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 Syntax and Saturation Algor

✍ Moritz Hardt; Gert Smolka 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 297 KB