Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Bezem, Marc
1985.
Strong normalization of barrecursive terms without using infinite terms.
Archiv für Mathematische Logik und Grundlagenforschung,
Vol. 25,
Issue. 1,
p.
175.
Bezem, Marc
1988.
Equivalence of bar recursors in the theory of functionals of finite type.
Archive for Mathematical Logic,
Vol. 27,
Issue. 2,
p.
149.
Kohlenbach, Ulrich
1992.
Pointwise hereditary majorization and some applications.
Archive for Mathematical Logic,
Vol. 31,
Issue. 4,
p.
227.
Barendsen, Erik
and
Bezem, Marc
1996.
Polymorphic extensions of simple type structures. With an application to a bar recursive minimization.
Annals of Pure and Applied Logic,
Vol. 79,
Issue. 3,
p.
221.
Kohlenbach, Ulrich
1998.
Logic Colloquium’ 96.
Vol. 12,
Issue. ,
p.
115.
Kohlenbach, Ulrich
1998.
On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness.
Annals of Pure and Applied Logic,
Vol. 95,
Issue. 1-3,
p.
257.
Kohlenbach, Ulrich
1999.
Logic and Foundations of Mathematics.
p.
93.
Ferreira, Fernando
and
Oliva, Paulo
2005.
Bounded functional interpretation.
Annals of Pure and Applied Logic,
Vol. 135,
Issue. 1-3,
p.
73.
Gerhardy, Philipp
and
Kohlenbach, Ulrich
2006.
Strongly uniform bounds from semi-constructive proofs.
Annals of Pure and Applied Logic,
Vol. 141,
Issue. 1-2,
p.
89.
Oliva, Paulo
2006.
Unifying Functional Interpretations.
Notre Dame Journal of Formal Logic,
Vol. 47,
Issue. 2,
Leuştean, Laurenţiu
2006.
Proof Mining in R-trees and Hyperbolic Spaces.
Electronic Notes in Theoretical Computer Science,
Vol. 165,
Issue. ,
p.
95.
Hernest, Mircea-Dan
2007.
Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog.
Electronic Notes in Theoretical Computer Science,
Vol. 174,
Issue. 5,
p.
141.
Ferreira, Fernando
and
Oliva, Paulo
2007.
Bounded functional interpretation and feasible analysis.
Annals of Pure and Applied Logic,
Vol. 145,
Issue. 2,
p.
115.
Gerhardy, Philipp
and
Kohlenbach, Ulrich
2007.
General logical metatheorems for functional analysis.
Transactions of the American Mathematical Society,
Vol. 360,
Issue. 5,
p.
2615.
Oliva, Paulo
2007.
Modified Realizability Interpretation of Classical Linear Logic.
p.
431.
Oliva, Paulo
2007.
Logic, Language, Information and Computation.
Vol. 4576,
Issue. ,
p.
285.
Oliva, Paulo
2008.
An Analysis of Gödel'sdialecticaInterpretation via Linear Logic.
Dialectica,
Vol. 62,
Issue. 2,
p.
269.
Kohlenbach, Ulrich
2008.
Gödel's Functional Interpretation and its Use in Current Mathematics*.
Dialectica,
Vol. 62,
Issue. 2,
p.
223.
Ferreira, Fernando
2008.
A Most Artistic Package of a Jumble of Ideas.
Dialectica,
Vol. 62,
Issue. 2,
p.
205.
Ferreira, Fernando
2009.
Injecting uniformities into Peano arithmetic.
Annals of Pure and Applied Logic,
Vol. 157,
Issue. 2-3,
p.
122.