Stenlund, S. (1972). Combinators, lambda-terms and proof theory. Reidel.
Chicago Style (17th ed.) CitationStenlund, Sören. Combinators, Lambda-terms and Proof Theory. Dordrecht: Reidel, 1972.
MLA (9th ed.) CitationStenlund, Sören. Combinators, Lambda-terms and Proof Theory. Reidel, 1972.
Warning: These citations may not always be 100% accurate.