TY - BOOK AU - Hindley, J.Roger AU - Seldin, Jonathan P TI - Introduction to combinators and lambda calculus T2 - London mathematical society student texts SN - 0-521-31839-4 U1 - 511.6/HIN PY - 1986/// CY - Cambridge PB - Cambridge Uni Pr KW - Algorithms KW - Combinatorial analysis KW - Mathematics ER -