Drittmittelprojekte

• Twinning der Universitäten Leeds, Oslo und München, im Rahmen des Science Program der EG. Projekt ``Proof Theory and Computation'', November 1991 bis Oktober 1994.
• ``New Hardware Development Methods'' (NADA), EG Arbeitsgruppe, seit April 1994.
• Seit Juni 1992 das Projekt ``Anwendungen der Normalisierung in einer Logik für berechenbare Funktionale'', im Rahmen des Schwerpunktprogramms ``Deduktion'' der DFG.

• Graduiertenkolleg ``Sprache, Information, Logik'', seit 1992.