Minimal from classical proofs

  • Helmut Schwichtenberg
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 626)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    U. Berger, H. Schwichtenberg: An inverse of the evaluation functional for typed lambda calculus. Proc. 6th IEEE Symp. on Logic in Computer Science, (ed.: R. Vemuri), Los Alamitos: IEEE Computer Society Press, pp. 203–211, 1991Google Scholar
  2. 2.
    H. Schwichtenberg: Proofs as Programs. To appear in: Leeds Proof Theory '90 (ed.: P. Aczel, H. Simmons, S.S. Wainer), Cambridge: University Press, 1992Google Scholar
  3. 3.
    A. Troelstra, D. van Dalen: Constructivism in Mathematics. Vol. I, Amsterdam: North-Holland, 1988Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Helmut Schwichtenberg
    • 1
  1. 1.Mathematisches InstitutUniversität MünchenMünchen 2

Personalised recommendations