The Church-Rosser property and a result of combinatory logic. Dissertation (1964)

by R Hindley