全部版块 我的主页
论坛 计量经济学与统计论坛 五区 计量经济学与统计软件 LATEX论坛
2243 2
2014-11-20
在数理逻辑与计算机科学中,同伦类型论(homotopy type theory,缩写 HoTT)是一套旨在于同伦论的大框架下构建内涵类型论语义的理论,尤指Quillen模型范畴和弱分解系统。反而言之,内涵类型论则为同伦理论提供了一套逻辑语言。类型论在绝大多数计算机证明辅助系统中被用作集合论的替代理论,因为集合论的语言难以转化成计算机证明辅助的形式语言。(选自:这里

下载区:编译pdf:hott-a4     源代码
源地址下载文件:hott-online

二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝

全部回复
2014-11-21 00:53:47
蛮有意思,不过论坛里受众可能比较少
二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝

2014-11-21 09:37:56
北固隐 发表于 2014-11-21 00:53
蛮有意思,不过论坛里受众可能比较少
是的啊
二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝

相关推荐
栏目导航
热门文章
推荐文章

说点什么

分享

扫码加好友,拉您进群
各岗位、行业、专业交流群