"Proofs and Types" - читать интересную книгу автора (Jean-Yves Girard, Yves Lafont, Paul Taylor)