TY  - BOOK
AU  - Hindley,J.Roger
AU  - Lercher,B.
AU  - Seldin,J.P.
TI  - Introduction to combinatory logic
T2  - London Mathematical Society lecture note series
SN  - 0521096979
PY  - 1972///
CY  - Cambridge
PB  - University Press
KW  - Combinatory logic
N1  - Bibliography : p. 157-162
ER  -