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