Lambda Terms and Proof Theory (1972)

by Combinators
Venue:Synthese Library. D. Reidel/Dodrecht