"Computation and Reasoning: A Type Theory for Computer Science " - читать интересную книгу автора (Zhaohui Luo)