✦ LIBER ✦

Higher-order abstract syntax

✍ Scribed by Pfenning, F.; Elliot, C.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Theory of Contexts for First Order a

✍ Furio Honsell; Marino Miculan; Ivan Scagnetto 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Formalizing Adequacy: A Case Study for H

✍ James Cheney, Michael Norrish, René Vestergaard 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 687 KB

Explicit substitutions and higher-order

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

Higher-Order Syntax and Saturation Algor

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

GS·Λ Theories: A Syntax for Higher-Order

✍ Matteo Coccia; Fabio Gadducci; Ugo Montanari 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 263 KB

ChemInform Abstract: Higher-Order Cyanoc

✍ B. H. LIPSHUTZ 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 23 KB