Marin-Lof类型论程序设计导引

作者: Bengt Nordstrom
译者: 宋方敏
出版社: 南京大学出版社
出版年: 2002-9
ISBN: 9787305038327
页数: 195
装帧: 平装
定价: 24.0
评价人数不足
评价:

内容简介  · · · · · ·

短评  · · · · · ·  ( 全部 1 条 )

热门
我要写书评

Marin-Lof类型论程序设计导引的书评 · · · · · · ( 全部 1 条 )

热门 只看本版本的评论
weiky™ 2011-03-21 13:27:23

简评

类型论最初的目的是澄清构造数学，但不是基于一阶谓词逻辑。反过来，谓词逻辑通过命题和集合之间的对应被解释于类型论中。 类型是分层次的的，它的语法表达式类似函数式语言。 类型的构造可以依赖其它类型元素，根据依赖的不同可以将类型系统分类，即所谓...  (展开)
2 1 1回应

> 更多书评 1篇

论坛  · · · · · ·

当前版本有售  · · · · · ·

这本书的其他版本  · · · · · ·  ( 全部2 )

在哪儿借这本书  · · · · · ·

以下书单推荐  · · · · · ·  ( 全部 )

谁读这本书?  · · · · · ·

女高中生Alpha
女高中生Alpha
2025年12月27日 想读


心流
心流
2025年8月14日 在读


马蹄北去
马蹄北去
2025年6月11日 读过


🧨
🧨
2025年1月24日 想读


> 3人在读

> 3人读过

> 21人想读

二手市场  · · · · · ·

订阅关于Marin-Lof类型论程序设计导引的评论:
feed: rss 2.0