Barendsen and Sjaak Smetsers. Conventional and uniqueness typing in graph rewrite systems (1993)

by Erik
Venue:Computer Science Institute, University of Nijmegen