|
office: phone: fax: email: secretary: opening hours: office: phone: consultation hour: |
Z1.07
|
|
address: |
Ludwig-Maximilians-Universität München |
My research interests include: type theory, principles of programming languages,
semantics, category theory, mathematical logic, formal methods.
.