It is also a gentle and humorous introduction to combinatory logic and the associated metamathematics, built on an elaborate ornithological metaphor.
22.
CCG relies on combinatory logic, which has the same expressive power as the lambda calculus, but builds its expressions differently.
23.
By working in the area of Combinatory Logic for his entire career, Curry essentially became the founder and biggest name in the field.
24.
Many early papers by Curry showed how to translate axiom sets for conventional logic into combinatory logic equations ( Hindley and Meredith 1990 ).
25.
We can formulate typed combinatory logic using a similar syntax : let ? be a finite collection of variables, annotated with their types.
26.
Each species of bird in Smullyan's forest stands for a particular kind of combinator appearing in the conventional treatment of combinatory logic.
27.
Curry was supervised by David Hilbert and worked closely with Bernays, receiving a Ph . D . in 1930 with a dissertation on combinatory logic.
28.
*Wolfengagen, V . E . " Combinatory Logic in Programming : Computations with Objects through Examples and Exercises " . 2nd ed.
29.
In 1970, after finishing the second volume of his treatise on the combinatory logic, Curry retired from the University of Amsterdam and returned to State College, Pennsylvania.
30.
The power and scope of combinatory logic is quite similar to that of the lambda calculus of Church, and the latter formalism has tended to predominate in recent decades.
