A metalanguage for programming with bound names modulo renaming (0)

by A M Pitts, M J Gabbay
Venue:MPC2000, LNCS 1837, 2000