"Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)" - читать интересную книгу автора (Iman Poernomo, John N. Crossley, Martin Wirsing)