| Berechnungsmodelle spielen in der theoretischen Informatik
eine wichtige Rolle - ein bekanntes ist z.B. die Turing-Maschine, die
aus der Automaten-, Maschinenperspektive kommt. Das Lambda-Kalkül
ist ein gleichmächtiges, also berechnungsvollständiges Modell,
das als abstrakte funktionale Programmiersprache interpretiert und so
intuitiver verstanden werden kann. Mein Vortrag gibt einen Überblick
über die Reduktions- und Gleichungstheorie des Lambda-Kalküls
und zeigt, wie damit Sorten und Rechenstrukturen modelliert werden können.
Mit einer kurzen Einführung in das Kombinatorenkalkül werden
schließlich noch Hinweise zur konkreten Implementierung gegeben.
Literatur
- H.P. Barendregt: The Lambda Calculus - Its syntax and semantics.
North Holland Publishing Company, 1980
- C. Hankin: Lambda Calculi - A guide for computer scientists.
Oxford University Press, 1994
- M.C. Henson: Elements of Functional Languages. Blackwell
Scientific Publications, 1987
- T. Nipkow: Lambdakalkül. Vorlesungsskript, 1998
|
|