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