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

by Andrew M Pitts, Murdoch J Gabbay
Venue:Proceedings of the 5th international conference on the mathematics of program construction (MPC 2000), Lecture Notes in Computer Science