Advertisement

Church Rosser Theorem für λ-Kalküle mit Unendlich Langen Termen

  • W. Maaß
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 500)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    J.Y. Girard, Theoreme de Church-Rosser pour un systeme de termes infinis. (unveröffentlicht)Google Scholar
  2. [2]
    W. Maaß, Eine Funktionalinterpretation der prädikativen Analysis. Dissertation an der Universität München (1974)Google Scholar
  3. [3]
    S. Stenlund, Combinators, λ-Terms and Proof Theory. D. Reidel Publishing Company, Dordrecht (1972).CrossRefzbMATHGoogle Scholar
  4. [4]
    W.W. Tait, Infinitely long terms of transfinite type. In: Formal systems and recursive functions (ed. Crossley/Dummett), S. 176–185.Google Scholar

Copyright information

© Springer-Verlag 1975

Authors and Affiliations

  • W. Maaß

There are no affiliations available

Personalised recommendations