Nominal Unification (2003)
Cached
Download Links
- [ftp.cl.cam.ac.uk]
- [www4.in.tum.de]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.macs.hw.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Christian Urban
,
Andrew Pitts
,
Murdoch Gabbay
| Venue: | Theoretical Computer Science |
| Citations: | 46 - 18 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 |
