Complete restrictions of the intersection type discipline (1992)
Cached
Download Links
- [www.doc.ic.ac.uk]
- [ftp.cs.kun.nl]
- [schiele.doc.ic.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Steffen Van Bakel
| Venue: | Theoretical Computer Science |
| Citations: | 92 - 34 self |
Document Versions
| Complete restrictions of the intersection type discipline –Steffen Van Bakel — 1992 — Theoretical Computer Science |
| Complete Restrictions of the Intersection Type Discipline –Steffen van Bakel — 1992 |
| Complete Restrictions of the Intersection Type Discipline –Steffen Van Bakel — 1992 — Theoretical Computer Science |
