Explicit Substitutions and Higher-Order Syntax (Extended Abstract) (2003)
by
Neil Ghani
,
Tarmo Uustalu
| Venue: | in Proc. of 2nd ACM SIGPLAN Wksh. on Mechanized Reasoning about Languages with Variable Binding, MERLIN'03 |
| Citations: | 4 - 3 self |
Document Versions
| Explicit Substitutions and Higher-Order Syntax (Extended Abstract) –Neil Ghani, Tarmo Uustalu — 2003 — in Proc. of 2nd ACM SIGPLAN Wksh. on Mechanized Reasoning about Languages with Variable Binding, MERLIN'03 |
| Explicit substitutions and higher-order syntax –Neil Ghani, Tarmo Uustalu, Makoto Hamana — 2003 — in Proc. of 2nd ACM SIGPLAN Wksh. on Mechanized Reasoning about Languages with Variable Binding, MERLIN'03 |
