Author:
Berardi Stefano,Bezem Marc,Coquand Thierry
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. W. Ackermann. Begründung des Tertium non datur mittels der Hilbertschen Theorie der Widerspruchsfreiheit. Mathematische Annalen, 93, 1924, p. 1–36
2. M. Bezem. Strong Normalization of Barrecursive Terms Without Using Infinite Terms. Archiv für mathematische Logik und Grundlagenforschung, 25, 1985, p. 175–182
3. E. Bishop. Foundations of Constructive Analysis. New York, McGraw-Hill, 1967.
4. R. Constable and C. Murthy. Finding Computational Content in Classical Proofs. In G. Huet and G. Plotkin, editors, Logical Frameworks, 341–362, (1991), Cambridge University Press.
5. Th. Coquand. A semantics of evidence for classical arithmetic. Journal of Symbolic Logic, to appear, 1994.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lorenzen and Constructive Mathematics;Paul Lorenzen -- Mathematician and Logician;2021