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

by A Pitts, M Gabbay
Venue:Mathematics of Program Construction, MPC2000, Proceedings, Ponte de