Gabbay: A Metalanguage for Programming with Bound Names Modulo Renaming (0)

by A M Pitts, M J
Venue:R. Backhouse and J.N. Oliveira (Eds.): MPC 2000, LNCS