Hindley, J. Roger.

Introduction to combinatory logic [by] J. R. Hindley, B. Lercher and J. P. Seldin. - Cambridge . University Press, 1972. - 170 p. 24 cm. - London Mathematical Society. Lecture note series, 7 . - London Mathematical Society lecture note series ; 7. .

Bibliography: p. 157-162.

0521096979


Combinatory logic.

511.3