Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
J.Y. Girard, Theoreme de Church-Rosser pour un systeme de termes infinis. (unveröffentlicht)
W. Maaß, Eine Funktionalinterpretation der prädikativen Analysis. Dissertation an der Universität München (1974)
S. Stenlund, Combinators, λ-Terms and Proof Theory. D. Reidel Publishing Company, Dordrecht (1972).
W.W. Tait, Infinitely long terms of transfinite type. In: Formal systems and recursive functions (ed. Crossley/Dummett), S. 176–185.
Editor information
Additional information
Herrn Professor Dr. Kurt Schütte zu seinem 65. Geburtstag gewidmet
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Maaß, W. (1975). Church Rosser Theorem für λ-Kalküle mit Unendlich Langen Termen. In: Diller, J., Müller, G.H. (eds) ⊨ISILC Proof Theory Symposion. Lecture Notes in Mathematics, vol 500. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079555
Download citation
DOI: https://doi.org/10.1007/BFb0079555
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07533-2
Online ISBN: 978-3-540-38020-7
eBook Packages: Springer Book Archive