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