论文信息 - Combinatory Reductions and Lambda Reductions Compared - 字舞流文

Combinatory Reductions and Lambda Reductions Compared

J. Roger Hindley

[1] Hendrik Pieter Barendregt. A Characterization of Terms of the lambda I-Calculus Having a Normal Form , 1973, J. Symb. Log..

[2] H. Barendregt. Some extensional term models for combinatory logics and lambda - calculi , 1971 .

[3] Rasmus Lerdorf,et al. Introduction to combinatory logic , 1972 .