Combinatory logic - Haskell B. Curry, J. Roger Hindley, and Jonathan P. Seldin. Combinatory logic. Volume II. Studies in logic and the foundations of mathematics, vol. 65. North-Holland Publishing Company, Amsterdam and London1972, XIV + 520 pp.
Year: 1977
Type: book-review
Source: Journal of Symbolic Logic
DOI: 10.2307/2272327
Author: Henk Barendregt
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1554599881