章

建构范畴理论

作者:

杰拉德休特,

阿莫克拉内萨伊比作者信息和声明

证明、语言和互动：纪念罗宾·米尔纳的散文

2000年7月

页239-275

出版:2000年7月24日出版历史

摘要

没有可用的摘要。

引用人

查看全部

马赫布比A塔西E(2013)工作coq用户的规范结构第四届交互式定理证明国际会议论文集10.1007/978-3-642-39634-2_5(19-34)在线发布日期：2013年7月22日
https://dl.acm.org/doi/10.1007/978-3642-39634-2_5
卡尔W(2011)关系代数抽象的依赖型形式化第十二届计算机科学关系和代数方法国际会议论文集10.5555/2018285.2018303(230-247)在线发布日期：2011年5月30日
https://dl.acm.org/doi/10.5555/2018285.2018303
Domínguez C公司(2008)Coq隐代数中的形式化指定符号计算系统第九届AISC国际会议、第十五届Calculemas研讨会和第七届智能计算机数学国际MKM会议记录10.1007/978-3-540-85110-3_23(270-284)在线发布日期：2008年7月28日
https://dl.acm.org/doi/10.1007/978-3-540-85110-3_23
显示更多引用者

索引术语

建构范畴理论
1. 计算理论
  1. 形式语言与自动机理论
    1. 形式主义
      1. 代数语言理论
  2. 语义和推理
    1. 程序语义
      1. 代数语义

建议

范畴理论的逻辑基础
多类别系统中的分类
ICML'06：第23届机器学习国际会议记录

我们探讨了文档必须分类为多个类别系统的情况，我们称之为多视图分类。更具体地说，我们解决了两个不同的分类程序已经。。。
哪个类别更好剃须刀还是父亲节礼物？
SIGDOC'15：第33届国际通信设计年会论文集

亚马逊（Amazon.com）等消费者网站根据主题（如圣诞礼物）和分类法（如电子产品）对产品进行分类。由于有数千个项目可供选择，分类可能在减少。。。

信息和贡献者

问询处

发布于

证据、语言和互动：纪念罗宾·米尔纳的文章

2000年7月

695页

国际标准图书编号：0262161885

编辑：
戈登·普洛特金
爱丁堡大学
,
科林·斯特林
爱丁堡大学
,
疯子托夫特
丹麦哥本哈根IT大学

出版商

麻省理工学院出版社

美国马萨诸塞州剑桥

出版历史

出版：2000年7月24日

限定符

第章

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

6
引文总数
查看引文
0
总下载次数

下载次数（过去12个月）0
下载次数（最近6周）0

反映截至2024年9月17日的下载量

其他指标

查看作者指标

引文

引用人

查看全部

马布比A塔西E(2013)工作coq用户的规范结构第四届交互式定理证明国际会议论文集10.1007/978-3-642-39634-2_5(19-34)在线发布日期：2013年7月22日
https://dl.acm.org/doi/10.1007/978-3642-39634-2_5
Kahl W公司(2011)关系代数抽象的依赖型形式化第十二届计算机科学关系和代数方法国际会议论文集10.5555/2018285.2018303(230-247)在线发布日期：2011年5月30日
https://dl.acm.org/doi/10.5555/2018285.2018303
Domínguez C公司(2008)Coq隐代数中的形式化指定符号计算系统第九届AISC国际会议、第十五届微积分研讨会和第七届MKM智能计算机数学国际会议论文集10.1007/978-3-540-85110-3_23(270-284)在线发布日期：2008年7月28日
https://dl.acm.org/doi/10.1007/978-3-540-85110-3_23
Coquand T系列溢出物A(2007)类型理论中的构造同调代数第十四届数学助理机械化研讨会论文集：第六届国际会议10.1007/978-3-540-73086-6_4(40-54)在线发布日期：2007年6月27日
https://dl.acm.org/doi/10.1007/978-3-540-73086-6_4
拉贝·F(2006)具有依赖类型的一阶逻辑第三届自动推理国际联席会议记录10.1007/11814771_33(377-391)在线发布日期：2006年8月17日
https://dl.acm.org/doi/10.1007/11814771_33
巴特·G卡普雷塔五世Pons O系列(2003)类型理论中的Setoids函数编程杂志10.1017/S09567968020450113:2(261-293)在线发布日期：2003年3月1日
https://dl.acm.org/doi/10.1017/S095679680204501

引用人

索引术语

建议

范畴理论的逻辑基础

多类别系统中的分类

哪个类别更好剃须刀还是父亲节礼物？

评论

发布于

出版商

出版历史

限定符

其他指标

文章指标

其他指标

引用人

登录选项

完全访问权限

摘要

引用人

索引术语

建议

范畴理论的逻辑基础

多类别系统中的分类

哪个类别更好剃须刀还是父亲节礼物？

评论

问询处

发布于

出版商

出版历史

限定符

贡献者

其他指标

文献计量学

文章指标

其他指标

引文

引用人

查看选项

获取访问权限

登录选项

完全访问权限

数字

其他

分享

共享此出版物链接

在社交媒体上分享

附属公司