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

Document Versions

A Metalanguage for Programming with Bound Names Modulo Renaming –Andrew M. Pitts, Murdoch J. Gabbay — 2000 — Mathematics of Program Construction, volume 1837 of Lecture Notes in Computer Science