A proof of the Church-Rosser property for the Edinburgh LF with j-conversion (1990)

by A Salvesen
Venue:Lecture given at the First Workshop on Logical Frameworks, Sophia-Antipolis