Explicit Substitutions and Higher-Order Syntax (Extended Abstract) (2003)

Cached

Download Links

by Neil Ghani , Tarmo Uustalu
Venue:in Proc. of 2nd ACM SIGPLAN Wksh. on Mechanized Reasoning about Languages with Variable Binding, MERLIN'03
Citations:5 - 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