Nominal Unification (2003)

by Christian Urban , Andrew Pitts , Murdoch Gabbay
Venue:Theoretical Computer Science
Citations:59 - 24 self

Document Versions

Nominal Unification –Christian Urban, Andrew Pitts, Murdoch Gabbay — 2003 — Theoretical Computer Science
Nominal Unification –Christian Urban, Andrew Pitts, Murdoch Gabbay — 2004
Nominal unification –Christian Urban , Andrew M. Pitts , Murdoch J. Gabbay — 2004
Nominal Unification –Christian Urban , Andrew Pitts, Murdoch Gabbay — 2003
Nominal Unification –Christian Urban, Andrew Pitts, Murdoch Gabbay — 2004
Nominal Unification –Christian Urban, Andrew Pitts, Murdoch Gabbay — 2003 — Theoretical Computer Science