Research projects and institutes

Prof. Dr. Helmut Schwichtenberg

Section

III

Advisory Board

Beirat Leibniz Rechenzentrum (Beirat Mitglied)

Institution

Ludwig-Maximilians-Universität München

Research Focus

Beweistheorie; Lambda-Kalkül; Theorie der Berechenbarkeit

Full Member

since 1986

Ludwig-Maximilians-Universität München
Fakultät für Mathematik, Informatik und Statistik
Mathematisches Institut
Theresienstraße 39
80333 München

Phone: +49 (0)89 2180-4413
Fax: +49 (0)89 2180-4038
schwicht@mathematik.uni-muenchen.de