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