"Typed Lambda Calculi and Applications, 7 conf., TLCA 2005" - читать интересную книгу автора (Pawel Urzyczyn)