Towards a General Theory of Names: Binding and Scope (2005)

by J Cheney
Venue:In Proc. of the 3rd ACM Workshop on Mechanized Reasoning about Languages with Variable Binding and Names (MERLIN