An Intuitionistic Theory of Types: Predicative Part

This publication has 6 references indexed in Scilit:

• A system of abstract constructive ordinals
  The Journal of Symbolic Logic, 1972
• Intensional interpretations of functionals of finite type I
  The Journal of Symbolic Logic, 1967
• Systems of predicative analysis
  The Journal of Symbolic Logic, 1964
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
  Archive for Mathematical Logic, 1964
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
  Dialectica, 1958
• Untersuchungen ber das logische Schlie en. I
  Mathematische Zeitschrift, 1935