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