×

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

单价基金项目

同伦类型理论。数学的单价基础。 (英语) Zbl 1298.03002号

新泽西州普林斯顿:高等研究院;北卡罗来纳州罗利:卢鲁出版社。ix,468页。(2013).
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

无还原标准化证明。 (英语) Zbl 1502.03019号

大卫·皮特(编辑)等人,《范畴理论与计算机科学》。第六届国际会议,CTCS’95,英国剑桥,1995年8月7-11日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。953, 182-199 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

出版年份

主字段