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

Cached

Download Links

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