Author:
Barbanera Franco,Berardi Stefano
Reference10 articles.
1. Barbanera F., and S. Berardi, “Witness Extraction in Classical Logic through Normalization,” pp. 219–246 in Logical Environments, edited by G. Huet and G. Plotkin, Cambridge University Press, Cambridge, 1993. MR 1255117
2. Barbanera, F., and S. Berardi, “A constructive valuation interpretation for classical logic and its use in witness extraction,” pp. 1–23 in Proceedings of Colloquium on Trees in Algebra and Programming (CAAP), LNCS 581, Springer-Verlag, New York, 1992. MR 94h:03115
3. Friedman, H., “Classically and intuitionistically provably recursive functions,” pp. 21–28 in Higher Set Theory, edited by D. S. Scott and G. H. Muller, Lecture Notes in Mathematics, vol. 699, Springer-Verlag, New York, 1978. Zbl 0396.03045 MR 80b:03093
4. Heyting, A., Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie, Springer, Berlin, Reprinted 1974. Zbl 0278.02002 MR 49:8806
5. Kreisel, G., “Mathematical significance of consistency proofs,” The Journal of Symbolic Logic, vol. 23 (1958), pp. 155–182. Zbl 0088.01502 MR 22:6710