The Church Rosser theorem for strong reduction in combinatory logic.
Kenneth Loewen
Source: Notre Dame J. Formal Logic Volume 9, Number 4 (1968), 299-302.
Primary Subjects:
02.85
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093893514
Zentralblatt MATH identifier:
0191.30803
Mathematical Reviews number (MathSciNet):
MR0248024
Digital Object Identifier: doi:10.1305/ndjfl/1093893514
Notre Dame Journal of Formal Logic
