×

找到29个文档（结果1-29）

最新 引文 关联
西蒙·卡斯特伦;皮埃尔·克莱兰堡;彼得·戴比杰

具有族的类别：单位类型、简单类型和依赖类型。 （英语） Zbl 1478.18001号

克劳迪娅·卡萨迪奥（编辑）等人，约阿希姆·兰贝克：数学、逻辑和语言学的相互作用。查姆：斯普林格。外部。控制日志。20, 135-180 (2021).
审核人：Hirokazu Nishimura（筑波）
MSC公司：18-02 03-02 03G30型 18日第15天
PDF格式BibTeX公司 XML格式引用
\textit{S.Castellan}等人，Outst。控制日志。201235-180（2021年；兹bl 1478.18001）
全文： 内政部 arXiv公司
Krzysztof卡普尔金;彼得·勒法努·卢姆斯代恩

单价基础的简化模型（根据Voevodsky）。 （英语） Zbl 1471.18025号

《欧洲数学杂志》。社会（JEMS） 23，第6号，2071-2126（2021）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18号45 18 C50 55单位10 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{K.Kapulkin}和\textit{P.L.Lumsdaine}，《欧洲数学杂志》。Soc.（JEMS）23，No.6，2071--2126（2021；Zbl 1471.18025）
全文： 内政部 arXiv公司
彼得·勒法努·卢姆斯代恩;迈克尔·舒尔曼

较高归纳类型的语义。 （英语） Zbl 1470.18007号

数学。程序。外倾角。菲洛斯。Soc公司。 169，第1期，159-208（2020）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18 C50 03B38型 18号40 18号45 18号60
PDF格式BibTeX公司 XML格式引用
\textit{P.L.Lumsdaine}和\textit{M.Shulman}，数学。程序。外倾角。菲洛斯。Soc.169，第159-208号（2020年；兹bl 1470.18007）
全文： 内政部 arXiv公司
反向链接： 卫生官员
拉尔斯·比克达尔;拉纳德·克鲁斯顿;巴赛尔·曼纳;拉斯穆斯·埃杰勒斯·莫格伯格;安德鲁·皮特斯（Andrew M.Pitts）。;溅出物，Bas

模态从属类型理论和从属右伴随词。 （英语） 兹比尔1479.03011

数学。结构。计算。科学。 30，第2期，118-138（2020年）.
MSC公司：03B38型 03B40型 03B45号 18A40型
PDF格式BibTeX公司 XML格式引用
\textit{L.Birkedal}等人，数学。结构。计算。科学。30，第2号，118--138（2020；Zbl 1479.03011）
全文： 内政部 arXiv公司
史蒂夫·阿沃迪

数学普遍主义和同伦类型理论。 （英语） Zbl 1469.03035号

Centrone，Stefania（编辑）等人，《通用数学、可计算性和证明》。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼（Villa Vigoni）的德国-意大利欧洲卓越中心（German-Italian Centre for European Excellence）举行的洪堡-科尔勒格（Humboldt-Kolleg）“作为数学普适性的证明理论”。查姆：斯普林格。合成。伦敦银行同业拆借利率。412, 13-36 (2019).
MSC公司：03B38型 55单位40
PDF格式BibTeX公司 XML格式引用
\textit{S.Awodey}，Synth。伦敦银行同业拆借利率。412、13-36（2019年；Zbl 1469.03035）
全文： 内政部
阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩

显示的类别。 （英语） Zbl 1419.18001号

日志。方法计算。科学。 15，第1号，第20号论文，第18页（2019年）.
审核人：马尔科·贝尼尼（布奇纳斯科）
MSC公司：18甲15 03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}和\textit{P.Lefanu Lumsdaine}，Log。方法计算。科学。15，第1号，第20号论文，第18页（2019年；Zbl 1419.18001）
全文： arXiv公司
丹·弗鲁明;本诺·范登伯格

有效拓扑中函数可拓性的一个同构理论模型。 （英语） Zbl 1422.18005号

数学。结构。计算。科学。 29，第4号，588-614（2019）.
审核人：亚历山大·沃特（吕培克）
MSC公司：18年2月25日 03B15号机组 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{D.Frumin}和\textit{B.van den Berg}，数学。结构。计算。科学。29，第4号，588--614（2019；Zbl 1422.18005）
全文： 内政部 arXiv公司
迈克尔·舒尔曼

实内聚同伦类型理论中的Brouwer不动点定理。 （英语） Zbl 1390.03014号

数学。结构。计算。科学。 28，第6号，856-941（2018）.
审核人：Ittay Weiss（朴茨茅斯）
MSC公司：03B15号机组 03G30型 55单位40 55平方米 03B60号
PDF格式BibTeX公司 XML格式引用
\textit｛M.Shulman｝，数学。结构。计算。科学。28，第6号，856--941（2018；Zbl 1390.03014）
全文： 内政部 arXiv公司
反向链接： 卫生官员
伊恩·奥尔顿;安德鲁·皮特斯（Andrew M.Pitts）。

基于摩尔路径的类型理论模型。 （英语） Zbl 1434.03043号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。84，第28条，第16页（2017）。
MSC公司：03B38型 55单位35 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{I.Orton}和\textit{A.M.Pitts}，LIPIcs——莱布尼茨国际程序。通知。84，第28条，第16页（2017年；Zbl 1434.03043）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件