Kenneth Loewen

Modified strong reduction in combinatory logic

Kenneth Loewen, 1968, Notre Dame J. Formal Log..

A standardization theorem for strong reduction

Kenneth Loewen, 1968, Notre Dame J. Formal Log..

The Church Rosser theorem for strong reduction in combinatory logic

Kenneth Loewen, 1968, Notre Dame J. Formal Log..