Typed Lambda Calculi and Applications häftadEngelska, 1999