Polishing up the Tait–Martin-Löf proof of the Church–Rosser theorem (1995)

by Robert Pollack
Venue:Department of Computing Science, Chalmers University