Typed Lambda Calculi and Applications door Philippe de Groote