A Metalanguage for Programming with Bound Names Modulo Renaming (2000)

by Andrew M. Pitts, Murdoch J. Gabbay
Venue:Mathematics of Program Construction, volume 1837 of Lecture Notes in Computer Science