Howard, W.A., Functional interpretation of bar induction by bar recursion. Compositio Mathematica 20, pp. 107-124 (1968). Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
On the No-Counterexample Interpretation - Kohlenbach (1997) (2 citations) (Correct)
Proof Interpretations and the Computational Content of Proofs - Kohlenbach (2002) (1 citation) (Correct)
Fragments of Kripke-Platek Set Theory with Infinity - Rathjen (1992) (1 citation) (Correct)
Inductive Definitions and Type Theory: An Introduction - Coquand, Dybjer (Correct)
Inductive Definitions and Type Theory: An Introduction - Coquand, Dybjer (Correct)
On the computational content of the Axiom of Choice - Berardi, Bezem, Coquand (1995) (8 citations) (Correct)
Gödel's Dialectica interpretation and its two-way stretch - Feferman (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC