"Typed Lambda Calculi and Applications - TLCA 2011" - читать интересную книгу автора (Luke Ong)