Academic Press · Cambridge University Press
title | media type | ISBN-13 | year of publica- tion | other author(s) |
---|---|---|---|---|
Introduction to Combinators and Calculus | Hardcover | 978-0-521-26896-7 | 1986 | J. P. Seldin |
Introduction to Combinators and Calculus | Paperback | 978-0-521-31839-6 | 1986 | " |
Introduction to Combinatory Logic | " | 978-0-521-09697-3 | 1972 | B. Lercher · J. P. Seldin |
To H.B.Curry: essays on combinatory logic, lambda calculus, and formalism | Hardcover | 978-0-12-349050-6 | 1980 | J.P. Seldin |
J. H. · J R · J. Roger Hindley · J Rumbelow Hindley · R. H.