×

找到42个文档(结果1-42)

更高的相干性和更高分类代数结构的推广。 arXiv公司:2012.14042

预印本,arXiv:2012.14042[math.CT](2020)。
BibTeX公司 引用
全文: arXiv公司

通过重写实现Gray类别的一致性。 (英语) Zbl 1462.68095号

Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第15条,第16页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

准严格更高类别的数据结构。 (英语) 兹比尔1458.68042

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第87条,第12页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

弱范畴的类型理论定义。 (英语) Zbl 1452.18024号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第64条,第12页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

出版年份

软件