Auswahl aktueller Veröffentlichungen
Next: Wissenschaftliche Herausgebertätigkeit
Up: Prof. Dr. Helmut Schwichtenberg
Previous: Arbeitsfeld
-
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
-
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
-
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
-
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
-
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
-
An upper bound for reduction sequences in the typed
-calculus,
Archive for Mathematical Logic, 30:405-408, 1991
-
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
-
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
-
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
Hauber
Wed Nov 20 16:14:16 MET 1996