Universität Münster: Forschungsbericht 1997-98 - Inhaltsverzeichnis Institut für Mathematische Logik und Grundlagenforschung: Arbeitsbereich Prof. Dr. J. Diller

Forschungsbericht 1997-98
	Institut für Mathematische Logik und Grundlagenforschung Einsteinstr. 62 48149 Münster Tel. (0251) 83-33760/61, 33768/33078 Fax: (0251) 83-33078 e-mail: dillerj/pohlers/weierma@uni- muenster.de WWW: http://wwwmath.uni-muenster.de/math/logik Direktoren: Prof. Dres. Justus Diller, Wolfram Pohlers

				Forschungsschwerpunkte 1997 - 1998 Fachbereich 15 - Mathematik und Informatik Institut für Mathematische Logik und Grundlagenforschung Arbeitsbereich Prof. Dr. J. Diller

Lambda-Kalkül Das Studium der kombinatorischen Gruppe im geschlossenen Termmodell des typenfreien Lambda-Eta-Kalküls führt zu Strukturfragen in der Klasse der unlösbaren Terme. Auf diesem Wege konnten zwei Grundfragen über die kombinatorische Gruppe beantwortet werden. Ferner wird die Ausdruckskraft logiknaher Varianten des Lambda-Kalküls mit und ohne Typen untersucht. Das Projekt ist abgeschlossen. Beteiligte Wissenschaftler: Prof.Dr. J. Diller (Leiter), Dr. E. Folkerts, Dipl.Math. G. Lee, Dipl.Math. W. Wiengarn

Hans-Joachim Peter
EMail: vdv12@uni-muenster.de
HTML-Einrichtung: Izabela Klak
Informationskennung: FO15BA01
Datum: 1999-05-31