计算和推理。计算机科学的类型论作者：Zhaohui Luo 电子书下载

原名:Computation and reasoning. A type theory for computer science by Zhaohui Luo
作品简介:本书发展了一种类型理论，研究了它的属性，并解释了它在计算机科学中的用途。本书特别关注类型论的研究如何为编程、程序规范和开发以及逻辑推理提供强大且统一的语言。类型论……