✦ LIBER ✦

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 5608 || Syntax for Free: Representing Syntax with Binding Using Parametricity

✍ Scribed by Curien, Pierre-Louis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Type

✍ Dezani-Ciancaglini, Mariangiola; Plotkin, Gordon 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 900 KB

[Lecture Notes in Computer Science] Type

✍ Groote, Philippe; Roger Hindley, J. 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 943 KB

[Lecture Notes in Computer Science] Type

✍ Curien, Pierre-Louis 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 58 KB

[Lecture Notes in Computer Science] Type

✍ Dezani-Ciancaglini, Mariangiola; Plotkin, Gordon 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 919 KB

[Lecture Notes in Computer Science] Type

✍ Bezem, Marc; Groote, Jan Friso 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 694 KB