Combinatory Logic. North-Holland (1958)

by H B Curry, R Feys
Venue:Ann. Math. Logic