"Typed Lambda Calculi and Applications, 4 conf., TLCA'99" - читать интересную книгу автора (Jean-Yves Girard)