Lektor Robin Kaarsgaard (Robin Kaarsgaard Sales) Syddansk Universitet Institut for Matematik og Datalogi Campusvej 55 5230 Odense M Danmark kaarsgaard @ imada.sdu.dk 22472216

Indledende emner Funktionsprogrammering Logik Programmeringssprog Videregående emner Functional Programming Reversible and Quantum Computing Semantics

 

---