Inhalt:
- Termersetzungssysteme, Normalisierung, Konfluenz
-
Getypter und ungetypter Lambda-Kalkül
-
Semantik von Programmiersprachen, Anfänge der Bereichstheorie
-
Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion
-
Programmverifikation, Floyd-Hoare-Kalkül
-
Reguläre Sprachen und endliche Automaten
-
Beschriftete Transitionssysteme, Bisimulation und Temporallogik
