"Typed Lambda Calculi and Applications: 9 conf., TLCA 2009" - читать интересную книгу автора (Pierre-Louis Curien)