Beskikkede censorer startende 1. april 2018       Information
Adjunkt Patrick Bahr
IT-Universitetet i København
Institut for Datalogi
Rued Langgaards Vej 7
2300 København S
Danmark
patrick.bahr @ gmail.com
26901428
Indledende emner
Funktionsprogrammering
Logik
Oversættelse
Programmeringssprog
Semantik
Videregående emner
Category Theory
Compiler Construction
Computational Logic
Program Transformation
Software Verification
Type Theory