Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Lektor Rasmus Ejlers Møgelberg
IT-Universitetet
Rued Langgaards vej 7
2300 København
Danmark
mogel @ itu.dk
72185297
Indledende emner
Funktionsprogrammering
Logik
Semantik
Videregående emner
Category Theory
Type Theory