Abstract syntax for variable binders: An overview (2000)

by Dale Miller
Venue:Computational Logic - CL 2000, number 1861 in LNAI