Erik Barendsen, Sjaak Smetsers. Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. Mathematical Structures in Computer Science, 6(6):579-612, 1996.
@article{BarendsenS96, title = {Uniqueness Typing for Functional Languages with Graph Rewriting Semantics}, author = {Erik Barendsen and Sjaak Smetsers}, year = {1996}, tags = {semantics, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/BarendsenS96}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {6}, number = {6}, pages = {579-612}, }