![](/img/cover-not-exists.png)
The Church Rosser theorem for strong reduction in combinatory logic.
Loewen, KennethVolume:
9
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1305/ndjfl/1093893514
Date:
October, 1968
File:
PDF, 479 KB
english, 1968