"Lectures on the Curry-Howard isomorphism" - читать интересную книгу автора (Morten Heine Sørensen M.Sc Ph.D, Pawel Urzyczyn prof. dr hab.)