"Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics)" - читать интересную книгу автора (Morten Heine Sørensen, Paweł Urzyczyn)