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