"Typed Lambda Calculi and Applications, 6 conf., TLCA 2003" - читать интересную книгу автора (Martin Hofmann)