Ulrich Berger

Lecturer at the Department of Computer Science at University of Wales Swansea since September 1999

My new homepage

This is my old homepage:

Ulrich Berger

CV

Lectures

• Bereichstheorie SS 1997
• Kategorientheorie und Lambda-Kalkül I WS 1997/98
• Kategorientheorie und Lambda-Kalkül II SS 1998
• Ferienkurs Nichtnumerisches Programmieren (SCHEME) 19.-30. Oktober 1998
• Mathematische Logik I WS 1998/99
• Mathematische Logik II SS 1999

Conferences

• Reuniting the Antipodes. Constructive and Nonstandard Views of the Continuum. 16-23 May 1999, San Servolo, Venice, Italy. Organizers: Horst Osswald, Peter Schuster, Ulrich Berger (Web page under construction)

Recent papers

• An inverse of the evaluation functional for typed lambda-calculus, (LICS '91)
• Total Sets and Objects in Domain Theory, (APAL '93)
• Program Extraction from Normalization Proofs, (TLCA '93)
• Program development by proof transformation, with Helmut Schwichtenberg (Marktoberdorf '93)
• Programs from Classical Proofs, (GAUSS '95)
• Program Extraction from Classical Proofs , with Helmut Schwichtenberg (LCC '94)
• The greatest common divisor: a case study for program extraction from classical proofs , with Helmut Schwichtenberg (Turin '95)
• Proof theory at work: Program development in the Minlog system , with H. Benl, H. Schwichtenberg, M. Seisenberger and W. Zuber (Automated Deduction, W. Bibel and P.H. Schmitt, eds., Vol. II, Kluwer 1998)
• Normalization by evaluation, with M. Eberl and H. Schwichtenberg (NADA Volume; Draft 10/98)

Unpublished

• Continuous Functionals of Dependent and Transfinite Types (Habilitationsschrift), errata, short version (submitted to the Proceedings of Logic Colloquium 97)
• From Heyting's arithmetic to verified programs (Talk given at the Heyting Symposium, Amsterdam, 25. 9. 1998)