On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study (1994)

by H GEUVERS, B WERNER
Venue:in Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science