A functional approach to syntax and typing door F.A.M. Beuken