Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract) (1993)

Cached

Download Links

by Erik Barendsen , Sjaak Smetsers
Venue:In Proceedings of the 13th Conference on the Foundations of Software Technology and Theoretical Computer Science
Citations:69 - 5 self