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

by Hin64 R Hindley