This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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
Editors and Affiliations
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
