Combinatory Reductions and Lambda Reductions Compared
- 1 January 1977
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 23 (7-12) , 169-180
- https://doi.org/10.1002/malq.19770230708
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- A characterization of terms of the λI-calculus having a normal formThe Journal of Symbolic Logic, 1973