Ein starker Normalisationssatz für die bar-rekursiven Funktionale

  • Helmut Von Vogel
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    Diller, J.: Zur Theorie rekursiver Funktionale höherer Typen. Habilitationsschrift, München 1968.Google Scholar
  2. [2]
    Diller, J., Nahm, W.: Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen. Arch. math. Logik16, 49–66 (1974).Google Scholar
  3. [3]
    Diller, J., Vogel, H.: Intensionale Funktionalinterpretation der Analysis. LNM 500 Springer 1976.Google Scholar
  4. [4]
    Leivant, D.: Strong-Normalization for arithmetic (Variations on a theme of Prawitz). Ibidem.Google Scholar
  5. [5]
    Luckhardt, H.: Extensional Gödel functional interpretation. LNM 306 Springer 1973.Google Scholar
  6. [6]
    Pohlers, W.: Ein starker Normalisationssatz für die intuitionistische Typentheorie. Man. math.8, 371–387 (1973).Google Scholar
  7. [7]
    Schütte, K.: Rekursive Funktionen. Vorlesung München WS 74/75.Google Scholar
  8. [8]
    Stenlund, S.: Combinators, λ-terms and proof theory. Reidel 1972.Google Scholar
  9. [9]
    Tait, W. W.: Normalform theorem for bar-recursive functions of finite type. Proc. 2nd Scandinavian Logic Symposium, 353–367, Amsterdam 1971.Google Scholar

Copyright information

© Verlag W. Kohlhammer 1977

Authors and Affiliations

  • Helmut Von Vogel
    • 1
  1. 1.Münster

Personalised recommendations