Typed Lambda Calculi and Applications - Rocca, Simona Ronchi; Hutchison, David; Kanade, Takeo; Ronchi Della Rocca, Simona; Kittler, Josef (Springer Berlin Heidelberg, 2007)