"Typed Lambda Calculi and Applications, TLCA '95 2 conf" - читать интересную книгу автора (Mariangiola Dezani-Ciancaglini, Gordon Plotkin)