Semantik und Kalküle
Klausuren
Semantik und Kalkül ist eine Basisveranstaltung im Informatik-Hauptstudium
Inhalt
- Lambda-Kalkül
- Typtheorie
- CPO (Complete Partial Order)
Weblinks
Tipps und persönliche Kommentare
- (Nicht unterschriebene Kommentare werden gelöscht!)
