×

找到136个文档（结果1-100）

最新的 引文 关联
安德鲁·皮特斯（Andrew M.Pitts）。;南卡罗来纳州斯坦坎普。

使用膨胀迭代构造初始代数。 （英语） Zbl 1530.18006号

Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37288-102（2022）。
理学硕士：18A40型 65楼03号
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Pitts}和\textit{S.C.Steenkamp}，电子。程序。西奥。计算。科学。（EPTCS）372，88--102（2022；Zbl 1530.18006）
全文： arXiv公司 链接
马塞洛·菲奥雷（Marcelo P.Fiore）。;安德鲁·皮特斯（Andrew M.Pitts）。;南卡罗来纳州斯坦坎普。

商、归纳类型和商归纳类型。 （英语） Zbl 1502.18046号

日志。方法计算。科学。 18，第2号，第15号论文，37页（2022年）.
审核人：菲利普·马尔博斯（里昂）
理学硕士：18号45 03B38型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Fiore}等人，日志。方法计算。科学。18，第2号，第15号论文，37页（2022年；Zbl 1502.18046）
全文： arXiv公司 链接
尼古拉·甘比诺;西蒙·亨利;克里斯蒂安·萨特勒;苏米奥·卡罗尔

有效的模型结构和（infty）-广群对象。 （英语） 兹比尔1497.18033

论坛数学。西格玛 10，论文编号e34，59 p.（2022）.
审核人：丹尼尔·卡斯普洛夫斯基（波恩）
理学硕士：18号40 18号60 55单位10
PDF格式BibTeX公司 XML格式引用
\textit{N.Gambino}等人，《数学论坛》。Sigma 10，论文编号e34，59 p.（2022；Zbl 1497.18033）
全文： 内政部 arXiv公司
OA许可证
雅各伯·埃梅内格;法比奥·帕斯夸利;朱塞佩·罗索里尼

基本纤维的特征。 （英语） Zbl 1492.18008号

Ann.纯粹应用。逻辑 173，第6号，文章ID 103103，29 p.（2022）.
审核人：罗伯特·罗斯布鲁（萨克维尔）
理学硕士：18立方厘米 18 C50 03G30型 18天30分 18D40号 18号45
PDF格式BibTeX公司 XML格式引用
\textit{J.Emmeneger}等人，Ann.Pure Appl。逻辑173，第6号，文章ID 103103，29页（2022；Zbl 1492.18008）
全文： 内政部 arXiv公司
OA许可证
可口、蒂埃里;西蒙·胡贝尔;克里斯蒂安·萨特勒

立方型理论的规范性和同伦规范性。 （英语） Zbl 1486.03027号

日志。方法计算。科学。 18，第1号，第28号论文，35页（2022年）.
审核人：Hirokazu Nishimura（筑波）
理学硕士：03B38型 03克30 55立方英寸35
PDF格式BibTeX公司 XML格式引用
\textit{T.Coquand}等人，《日志》。方法计算。科学。18，第1号，第28号论文，第35页（2022年；Zbl 1486.03027）
全文： arXiv公司 链接
阿尔伯托省纳瓦罗·加门迪亚

弗拉基米尔·沃沃德斯基，2002年菲尔兹奖。（弗拉基米尔·沃沃德斯基，麦达拉油田，2002年） （西班牙语） Zbl 1485.01060号

盖克。R.Soc.材料Esp。 第3623-643号第24页（2021）.
理学硕士：01A70型 14立方厘米15 14层42层
PDF格式BibTeX公司 XML格式引用
\textit{A.Navarro Garmendia}，乔治亚州。R.Soc.Mat.Esp.24，编号3，623--643（2021；Zbl 1485.01060）
全文： 链接
反向链接： 卫生官员
卡洛·安吉利;纪尧姆·布鲁内里;可口、蒂埃里;罗伯特·哈珀;Hou（Favonia）、Kuen-Bang;丹尼尔·李卡塔（Daniel R.Licata）。

笛卡尔立方类型理论的句法和模型。 （英语） Zbl 1529.03123号

数学。结构。计算。科学。 31，第4期，424-468（2021）.
理学硕士：03B38型 55单位35 18纳米45
PDF格式BibTeX公司 XML格式引用
\textit{C.Angiuli}等人，数学。结构。计算。科学。31，第4号，424--468（2021；Zbl 1529.03123）
全文： 内政部
西蒙·卡斯特伦;皮埃尔·克莱兰堡;彼得·戴比杰

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

克劳迪娅·卡萨迪奥（编辑）等人，约阿希姆·兰贝克：数学、逻辑和语言学的相互作用。查姆：斯普林格。Outst公司。控制日志。20, 135-180 (2021).
审核人：Hirokazu Nishimura（筑波）
理学硕士：18-02 03-02 03G30型 18日第15天
PDF格式BibTeX公司 XML格式引用
\textit｛S.Castellan｝等人，前言。控制日志。20、135——180（2021；Zbl 1478.18001）
全文： 内政部 arXiv公司
克利斯朵夫·查尔顿;塞巴斯蒂安·巴丁;弗朗索瓦·博博特;瓦伦丁·佩雷尔;贝诺缬氨酸

用于电路构建量子程序的自动演绎验证框架。 （英语） Zbl 1473.68106号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 148-177 (2021).
理学硕士：60年第68季度 68号30 2012年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Chareton}等人，Lect。注释计算。科学。12648、148--177（2021年；Zbl 1473.68106）
全文： 内政部 arXiv公司
OA许可证
Krzysztof卡普尔金;彼得·勒法努，朗斯丹

单价基础的简化模型（根据Voevodsky）。 （英语） 兹比尔1471.18025

《欧洲数学杂志》。社会（JEMS） 23，第6号，2071-2126（2021）.
审核人：Hirokazu Nishimura（筑波）
理学硕士：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公司
斯特凡诺·皮切赫罗

HoTT中单群胚的相干。 （英语） Zbl 07756113号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第8条，第20页（2020年）。
理学硕士：55单位35 03B38型 18号45 20升05
PDF格式BibTeX公司 XML格式引用
\textit{S.Piceghello}，LIPIcs——莱布尼茨国际程序。通知。175，第8条，第20页（2020；Zbl 07756113）
全文： 内政部
彼得·勒法努·卢姆斯代恩;舒尔曼，迈克尔

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

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

模态从属类型理论和从属右伴随词。 （英语） Zbl 1479.03011号

数学。结构。计算。科学。 30，第2期，118-138（2020年）.
理学硕士：03B38型 03B40型 03B45号 18A40型
PDF格式BibTeX公司 XML格式引用
\textit{L.Birkedal}等人，数学。结构。计算。科学。30，编号2118-138（2020；兹bl 1479.03011）
全文： 内政部 arXiv公司
米尔纳季阿蒙加

数学领域新的基础危机真的发生了吗？ （英语） Zbl 1528.03027号

Centrone，Stefania（编辑）等人，《数学基础的思考》。单价基础、集合理论和一般思想。基于2016年7月18日至23日在德国比勒费尔德举行的FOMUS数学基础会议：单价基础和集合论。查姆：斯普林格。合成。伦敦银行同业拆借利率。407, 255-269 (2019).
理学硕士：03A05号 00A30型 03B30型 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{M.Díamonja}，Synth（合成）。伦敦银行同业拆借利率。407255-269（2019年；兹比尔1528.03027）
全文： 内政部 arXiv公司 哈尔
阿伦斯，贝内迪克特;北，Paige Randall

单价基础和等价原则。 （英语） Zbl 1528.03101号

Centrone，Stefania（编辑）等人，《数学基础的思考》。单价基础、集合理论和一般思想。基于2016年7月18日至23日在德国比勒费尔德举行的FOMUS数学基础会议：单价基础和集合论。查姆：斯普林格。合成。伦敦银行同业拆借利率。407, 137-150 (2019).
理学硕士：03B38型 03G30型 18号45 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}和\textit{P.R.North}，Synth。伦敦银行同业拆借利率。407137-150（2019年；Zbl 1528.03101）
全文： 内政部 arXiv公司
托尔斯滕·阿滕柯奇

天真型理论。 （英语） Zbl 1528.03102号

Centrone，Stefania（编辑）等人，《数学基础的思考》。单价基础、集合理论和一般思想。基于2016年7月18日至23日在德国比勒费尔德举行的FOMUS数学基础会议：单价基础和集合论。查姆：斯普林格。合成。伦敦银行同业拆借利率。407, 101-136 (2019).
理学硕士：03B38型
PDF格式BibTeX公司 XML格式引用
\textit｛T.Altenkirch｝，合成。伦敦银行同业拆借利率。407、101--136（2019年；Zbl 1528.03102）
全文： 内政部
上村，太极

立方体集合，一个单价的、无效的宇宙，以及命题大小调整的失败。 （英语） Zbl 1528.03114号

Dybjer，Peter（编辑）等人，第24届国际校样和程序类型会议，2018年types 2018，葡萄牙布拉加，2018年6月18-21日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。130，第7条，第20页（2019年）。
理学硕士：03B38型 03G30型 18号40 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{T.Uemura}，LIPIcs——莱布尼茨国际程序。通知。130，第7条，第20页（2019年；Zbl 1528.03114）
全文： 内政部 arXiv公司
阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;范德维德，尼尔斯

单价基础中的双类别。 （英语） Zbl 1528.18019号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第5条，第17页（2019年）。
理学硕士：18N10型 03B38型 18号45 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}等人，LIPIcs——莱布尼茨国际程序。通知。131，第5条，第17页（2019年；Zbl 1528.18019）
全文： 内政部 arXiv公司
范德维德，尼尔斯;赫尔曼·格乌弗斯

机顶盒高电感类型的构造。 （英语） Zbl 07515964号

Barbara König（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4-7日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。347, 261-280 (2019).
理学硕士：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{N.van der Weide}和\textit{H.Geuvers}，电子。理论注释。计算。科学。347261-280（2019年；兹bl 07515964）
全文： 内政部
北，Paige Randall

朝向定向同伦类型理论。 （英语） Zbl 07515962号

Barbara König（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4-7日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。347, 223-239 (2019).
理学硕士：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.R.North}，电子。理论注释。计算。科学。347，223--239（2019；Zbl 07515962）
全文： 内政部 arXiv公司
卢卡·保里尼;卢卡·罗维斯;玛格丽塔·佐齐

量子编程变得很容易。 （英语） Zbl 1486.68024号

Ehrhard，Thomas（ed.）等人，线性逻辑和应用中的线性与趋势联合国际研讨会论文集，线性-TLLA 2018，英国牛津，2018年7月7日至8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）292133-147（2019）。
理学硕士：68甲15 2012年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{L.Paolini}等人，《电子》。程序。西奥。计算。科学。（EPTCS）292133--147（2019年；Zbl 1486.68024）
全文： arXiv公司 链接
罗伯特·兰德;詹妮弗·佩金;李东浩;史蒂夫·兹丹塞维奇

重新\（\mathcal{Q}\）电线：可逆量子电路的推理。 （英语） Zbl 1486.81064号

Selinger，Peter（ed.）等人，第15届量子物理与逻辑国际会议论文集，QPL’18，加拿大哈利法克斯，2018年6月3日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）287299-312（2019）。
理学硕士：81页68 94C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{R.Rand}等人，《电子》。程序。西奥。计算。科学。（EPTCS）287299-312（2019；Zbl 1486.81064）
全文： arXiv公司 链接
科科特，J.R.B。;舒适，科尔

类别TOF（飞行时间）. （英语） Zbl 1486.18024号

Peter Selinger等人，《第十五届量子物理与逻辑国际会议论文集》，QPL'18，加拿大哈利法克斯，2018年6月3-7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）28767-84（2019年）。
理学硕士：2005年5月18日 81页68 94C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{J.R.B.Cockett}和\textit{C.Comfort}，电子。程序。西奥。计算。科学。（EPTCS）287，67-84（2019；Zbl 1486.18024）
全文： arXiv公司 链接
史蒂夫·阿沃迪

数学普遍主义和同伦类型理论。 （英语） 兹比尔1469.03035

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

低级量子元编程的大小类型。 （英语） Zbl 1527.68034号

汤姆森、迈克尔·柯克达尔（编辑）等，《可逆计算》。第11届国际会议，2019年6月24日至25日，瑞士洛桑，RC 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11497, 87-107 (2019).
理学硕士：68甲19 81页68
PDF格式BibTeX公司 XML格式引用
\textit{M.Amy}，莱克特。注释计算。科学。11497，87-107（2019；Zbl 1527.68034）
全文： 内政部 arXiv公司
Krzysztof卡普尔金;苏米奥·卡罗尔

有限完备\（（infty，1）\）类的内部语言。 （英语） Zbl 1462.18007号

选择。数学。，新序列号。 25，第2号，第33号论文，46页（2019年）.
审核人：朱莉·伯格纳（河畔）
理学硕士：18号60 55单位35 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{K.Kapulkin}和\textit{K.Szumiło}，Sel。数学。，新序列号。25，第2号，第33号文件，第46页（2019年；兹bl 1462.18007）
全文： 内政部 arXiv公司
阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩

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

日志。方法计算。科学。 15，第1号，第20号论文，第18页（2019年）.
审核人：马可·贝尼尼（布奇纳斯科）
理学硕士：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）.
审核人：亚历山大·沃特（吕培克）
理学硕士：18对25 03B15号机组 55单位35
PDF格式BibTeX公司 XML格式引用
\textit｛D.Frumin｝和\textit｛B.van den Berg｝，数学。结构。计算。科学。29，第4号，588--614（2019；Zbl 1422.18005）
全文： 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛;马科斯·维拉格拉

经典的时间控制量子自动机。 （英语） Zbl 1522.68264号

Fagan，David（编辑）等人，《自然计算的理论与实践》。2018年12月12日至14日在爱尔兰都柏林举行的TPNC 2018第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11324, 266-278 (2018).
理学硕士：65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Díaz-Caro}和\textit{M.Villagra}，莱克特。注释计算。科学。11324、266--278（2018；Zbl 1522.68264）
全文： 内政部
阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗瓦斯·拉丰;马可·马格西

高级签名和初始语义。 （英语） Zbl 07533329号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第4条，22页（2018年）。
理学硕士：68问题65 03B70号 18立方厘米 68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}等人，LIPIcs——莱布尼茨国际程序。通知。119，第4条，22 p.（2018；Zbl 07533329）
全文： 内政部
马西斯·雷内拉;萨姆·斯塔顿

丰富范畴理论中的经典控制和量子电路。 （英语） Zbl 1525.68020号

Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。336, 257-279 (2018).
理学硕士：68甲18 18立方厘米50 18D20天 68问题55 81页65
PDF格式BibTeX公司 XML格式引用
\textit{M.Rennela}和\textit{S.Staton}，电子。理论注释。计算。科学。336257-279（2018年；Zbl 1525.68020）
全文： 内政部
贝林森，A.A。;维希克，A.S。;Kazhdan博士。;卡普兰诺夫，M.M。;Merkurjev，A.S。;奥尔洛夫博士。;I.A.帕宁。;苏斯林，A.A。;北卡罗来纳州泰林。;沙巴特，G.B。

弗拉基米尔·阿列克桑德罗维奇-沃沃德斯基（Vladimir Aleksandrovich Voevodsky）。 （英语。俄语原件） Zbl 1402.01013号

俄罗斯数学。Surv公司。 73，第3号，519-531（2018）; 来自Usp的翻译。Mat.Nauk 73，No.3，157-168（2018）。
理学硕士：01A70型
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Beilinson}等人，俄罗斯数学。Surv公司。73、3号、519--531（2018；Zbl 1402.01013）；来自Usp的翻译。Mat.Nauk 73，No.3，157--168（2018）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件