A mechanical proof of the Church-Rosser theorem (1988)

by N Shankar
Venue:Journal of the Association for Computing Machinery