Conventional and Uniqueness Typing in Graph Rewrite Systems (1996)

by E Barendsen, S Smetsers
Venue:Mathematical Structures of Computer Science