Marin-Lof类型论程序设计导引 pdf epub mobi txt 电子书 下载 2025
- 类型论
- 类型系统
- 程序语言
- PLT
- 编程语言理论
- pl
- Ynemlophics
- 00nemlophics
- 类型论
- 马丁-洛夫类型论
- 程序设计
- 逻辑
- 数学基础
- 计算机科学
- 理论计算机科学
- 函数式编程
- 证明论
- 形式化方法
具体描述
作者简介
目录信息
读后感
类型论最初的目的是澄清构造数学，但不是基于一阶谓词逻辑。反过来，谓词逻辑通过命题和集合之间的对应被解释于类型论中。 类型是分层次的的，它的语法表达式类似函数式语言。 类型的构造可以依赖其它类型元素，根据依赖的不同可以将类型系统分类，即所谓...
评分类型论最初的目的是澄清构造数学，但不是基于一阶谓词逻辑。反过来，谓词逻辑通过命题和集合之间的对应被解释于类型论中。 类型是分层次的的，它的语法表达式类似函数式语言。 类型的构造可以依赖其它类型元素，根据依赖的不同可以将类型系统分类，即所谓...
评分类型论最初的目的是澄清构造数学，但不是基于一阶谓词逻辑。反过来，谓词逻辑通过命题和集合之间的对应被解释于类型论中。 类型是分层次的的，它的语法表达式类似函数式语言。 类型的构造可以依赖其它类型元素，根据依赖的不同可以将类型系统分类，即所谓...
评分类型论最初的目的是澄清构造数学，但不是基于一阶谓词逻辑。反过来，谓词逻辑通过命题和集合之间的对应被解释于类型论中。 类型是分层次的的，它的语法表达式类似函数式语言。 类型的构造可以依赖其它类型元素，根据依赖的不同可以将类型系统分类，即所谓...
评分类型论最初的目的是澄清构造数学，但不是基于一阶谓词逻辑。反过来，谓词逻辑通过命题和集合之间的对应被解释于类型论中。 类型是分层次的的，它的语法表达式类似函数式语言。 类型的构造可以依赖其它类型元素，根据依赖的不同可以将类型系统分类，即所谓...
用户评价
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有