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