|
Lektor Patrick Bahr |
| IT Universitetet i København |
| Theoretical Computer Science |
| Rued Langgaards Vej 7 |
| 2300 København S |
| Danmark |
| paba @ itu.dk |
| 26901428 |
|
|
|
|
| Indledende emner |
| Diskrete strukturer |
| Funktionsprogrammering |
| Logik |
| Oversættelse |
| Programmeringssprog |
| Videregående emner |
| Computational Logic |
| Functional Programming |
| Program Analysis |
| Program Transformation |
| Programming Language Design |
| Semantics |
| Software Verification |
| Type Theory |
|
![[topimage]](TopBanner900.png)