Bijdrage aan Typed Lambda Calculus     < 2006/2007 >

Inhoudelijk verantwoordelijk voor Typed Lambda Calculus is Henk Barendregt.

De docenten komen uit deze afdelingen:

afdeling fte