Auswahl aktueller Veröffentlichungen

next up previous contents
Next: Wissenschaftliche Herausgebertätigkeit Up: Prof. Dr. Helmut Schwichtenberg Previous: Arbeitsfeld

Auswahl aktueller Veröffentlichungen

  1.   mit U. Berger, An inverse of the evaluation functional for typed -calculus, in: Rao Vemuri, editor, Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science, pages 203-211. IEEE Computer Society Press, Loss Alamitos, 1991

  2.   mit U. Berger, Program development by proof transformation, in: H. Schwichtenberg, editor, Proof and Computation, volume 139 of Series F: Computer and Systems Sciences, pages 1-45. NATO Advanced Study Institute, International Summer School held in Marktoberdorf, Germany, July 20 - August 1, 1993, Springer Verlag, Berlin, Heidelberg, New York, 1995

  3.   mit U. Berger, Program extraction from classical proofs, in: D. Leivant, editor, Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, IN, USA, October 1994, volume 960 of Lecture Notes in Computer Science, pages 77-97. Springer Verlag, Berlin, Heidelberg, New York, 1995

  4.   mit U. Berger, The greatest common divisor: a case study for program extraction from classical proofs, to appear: Proceedings of the conference `Proofs and Types', Turin, 1996

  5.   mit K. Schütte, Mathematische Logik, in: W. Scharlau G. Fischer, F. Hirzebruch and W. Törnig, editors, Ein Jahrhundert Mathematik 1890-1990. Festschrift zum Jubiläum der DMV, volume 6 of Dokumente zur Geschichte der Mathematik, pages 717-740. Vieweg, Brauschweig / Wiesbaden, 1990

  6.   An upper bound for reduction sequences in the typed -calculus, Archive for Mathematical Logic, 30:405-408, 1991

  7.   Proofs as programs, in: P. Aczel, H. Simmons, and S.S. Wainer, editors, Proof Theory. A selection of papers from the Leeds Proof Theory Programme 1990, pages 81-113. Cambridge University Press, 1993

  8.   mit S.S. Wainer, Ordinal bounds for programs, in: P. Clote and J. Remmel, editors, Feasible Mathematics II, pages 387-406. Birkhäuser, Boston, 1995

  9.   mit J. van de Pol, Strict functionals for termination proofs, in: M. Dezani-Ciancaglini and G. Plotkin, editors, Typed Lambda Calculi and Applications, volume 902 of Lecture Notes in Computer Science, pages 350-364. Springer Verlag, Berlin, Heidelberg, New York, 1995

Wed Nov 20 16:14:16 MET 1996