Smetsers [Dec 1993], "Conventional and uniqueness typing in graph rewrite systems (0)

by E Barendsen
Venue:in Proc 13th Conference on the Foundations of Software Technology and Theoretical Computer Science