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

by H Geuvers, B Werner
Venue:in LICS