Notre Dame Journal of Formal Logic

Modified strong reduction in combinatory logic.

Kenneth Loewen

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 9, Number 3 (1968), 265-270.

Dates
First available in Project Euclid: 30 August 2004

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1093893461

Digital Object Identifier
doi:10.1305/ndjfl/1093893461

Mathematical Reviews number (MathSciNet)
MR0248022

Zentralblatt MATH identifier
0195.30701

Subjects
Primary: 02.85

Citation

Loewen, Kenneth. Modified strong reduction in combinatory logic. Notre Dame J. Formal Logic 9 (1968), no. 3, 265--270. doi:10.1305/ndjfl/1093893461. http://projecteuclid.org/euclid.ndjfl/1093893461.


Export citation