Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bloom and Tindell, “Varieties of the if-then-else”, SIAM Journal of computing, 12, (1983).
Church, “The Calculi of Lambda Conversion”, Princeton University Press, 1941.
Friedman, “Equality between Functionals”, SLNM, 453, 1975.
Gödel, “Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme, I”, Monatsh. Math. Phys., 38, 1931.
Huet, “Unification in typed lambda calculus”, SLNCS, 37, 1975.
Kreisel, “Interpretation of analysis by means of constructive functionals of finite type in Constructivity in Mathematics”, A. Heyting, ed., North Holland, 1959.
Prawitz, “Natural Deduction”, Almquist and Wiksell, 1965.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Statman, R. (2000). Church’s Lambda Delta Calculus. In: Parigot, M., Voronkov, A. (eds) Logic for Programming and Automated Reasoning. LPAR 2000. Lecture Notes in Artificial Intelligence(), vol 1955. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44404-1_19
Download citation
DOI: https://doi.org/10.1007/3-540-44404-1_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41285-4
Online ISBN: 978-3-540-44404-6
eBook Packages: Springer Book Archive