A derivation system for uniqueness typing (1995)

by E Barendsen, S Smetsers
Venue:SEGRAGRA'95: Joint Compugraph/Semagraph Workshop on Graph Rewriting and Computation, Volterra (Pisa), Italy, Electronic Notes in Theoretical Computer Science, Elsevier Science