Rank 2 Intersection Type Assignment in Term Rewriting Systems (1996)
Cached
Download Links
- [schiele.doc.ic.ac.uk]
- [www.doc.ic.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Steffen van Bakel
| Citations: | 21 - 13 self |
Document Versions
| Rank 2 Intersection Type Assignment in Term Rewriting Systems –Steffen van Bakel — 1996 |
| Rank 2 Intersection Type Assignment in Term Rewriting Systems –Steffen Van Bakel — 1996 — Fundamenta Informaticae |
