essays on combinatory logic, lambda calculus and formalism (1980)

by Curry