"Typed Lambda Calculi and Applications, 5 conf., TLCA 2001" - читать интересную книгу автора (Samson Abramsky)