Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1972 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Stenlund, S. (1972). The Theory of Combinators and the λ-Calculus. In: Combinators, λ-Terms and Proof Theory. Synthese Library, vol 42. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-2913-1_1
Download citation
DOI: https://doi.org/10.1007/978-94-010-2913-1_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-2915-5
Online ISBN: 978-94-010-2913-1
eBook Packages: Springer Book Archive