"Typed Lambda Calculi and Applications, TLCA '93 1 conf" - читать интересную книгу автора (Marc Bezem, Jan F. Groote)