Conventional and uniqueness typing in graph rewrite systems (1993)

by E Barendsen, J E W Smetsers
Venue:In Proceedings of the 13th FST & TCS. LNCS 761