Bijdrage aan Typetheorie     < 2008/2009 >

Inhoudelijk verantwoordelijk voor Typetheorie is Herman Geuvers.

De docenten komen uit deze afdelingen:

afdeling fte
sws 0