Background
Hindley, James Roger was born on August 19, 1939 in Belfast, Northern Ireland.
(From the introduction: Combinatory logic deals with a cla...)
From the introduction: Combinatory logic deals with a class of formal systems designed for studying certain primitive ways in which functions can be combined to form other functions. These notes present some of the basic techniques and results in the subject, as well as two or three more special topics. There is no attempt to be comprehensive, but merely to give the flavour of the subject. Most long proofs will be omitted, and replaced by references to the published literature. The reader is assumed to have no previous knowledge of combinatory logic, but to have some experience of predicate calculus and recursive functions. (...) Simple exercises have been added to the earlier chapters to give manipulative practice. Suitable references for further study are listed in the bibliography.
http://www.amazon.com/gp/product/0521096979/?tag=2022091-20
Hindley, James Roger was born on August 19, 1939 in Belfast, Northern Ireland.
Bachelor of Science, Queen's U., Belfast, 1960; Master of Science, Queen's U., Belfast, 1961; Doctor of Science, Queen's U., Belfast, 1991; Doctor of Philosophy, U. Newcastle, Newcastle-upon-Tyne, England, 1964.
Visiting assistant professor, Pennsylvania State University, State College, 1964-1966; temporary lecturer, Bristol (England) University, 1966-1968; lecturer mathematics University College Swansea, U. Wales Swansea, 1968-1990; reader, $, since 1991.
(From the introduction: Combinatory logic deals with a cla...)
Member Association for Sympolic Logic, American Mathematics Society, London Mathematics Society, Italian Association Logic and Its Applications.
M. Carol Grinsted, 1981.