"Typed Lambda Calculi and Applications, 8 conf., TLCA 2007" - читать интересную книгу автора (Simona Ronchi Della Rocca)