Normal Form Theorem for Bar Recursive Functions of Finite Type

This publication has 5 references indexed in Scilit:

• Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions
  Published by Elsevier ,1971
• Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
  Published by Elsevier ,1971
• Intensional interpretations of functionals of finite type I
  The Journal of Symbolic Logic, 1967
• Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics
  Proceedings of Symposia in Pure Mathematics, 1962
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
  Dialectica, 1958