类型理论与函数式编程Type Theory and Functional Programming

【文件属性】：

文件名称：类型理论与函数式编程Type Theory and Functional Programming

文件大小：103B

文件格式：TXT

更新时间：2022-12-05 11:41:52

计算机科学

本书提供了类型理论的形式系统，并开发了程序和证明的示例。 从功能编程的角度来看，本书强调了系统语言与传统语言之间的差异。