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

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