×

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

最新的 引文 关联
安德鲁·M·皮茨。;南卡罗来纳州斯坦坎普。

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

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

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

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

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

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

基本纤维的特征。 （英语） 兹比尔1492.18008

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

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

日志。方法计算。科学。 18，第1号，第28号论文，35页（2022年）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：03B38型 03G30型 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{T.Coquand}等人，《日志》。方法计算。科学。18，第1号，第28号论文，第35页（2022年；Zbl 1486.03027）
全文： arXiv公司 链接
克里斯滕森，J.丹尼尔;埃格伯特·里杰克

方式和方式法的特征。 （英语） Zbl 1482.18015号

J.纯应用。代数 226，第3期，文章ID 106848，21页（2022）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18号55 03B38型 03B45号 03G30型 18纳米60 55页60
PDF格式BibTeX公司 XML格式引用
\textit{J.D.Christensen}和\textit{E.Rijke}，J.Pure Appl。代数226，第3号，文章ID 106848，21页（2022；Zbl 1482.18015）
全文： DOI程序 arXiv公司
卡洛·安吉利;纪尧姆·布鲁内里;可口、蒂埃里;罗伯特·哈珀;侯（法沃尼亚），Kuen Bang;丹尼尔·李卡塔（Daniel R.Licata）。

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

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

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

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

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

Yoshida，Nobuko（编辑），《编程语言和系统》。第30届欧洲编程研讨会，ESOP 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 148-177 (2021).
MSC公司：60年第68季度 68号30 2012年第68季度 81第68页
PDF格式BibTeX公司 XML格式引用
\textit{C.Chareton}等人，Lect。注释计算。科学。12648、148--177（2021年；Zbl 1473.68106）
全文： DOI程序 arXiv公司
OA许可证
阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗瓦斯·拉丰;马可·马格西

可呈现的签名和初始语义。 （英语） Zbl 07379288号

日志。方法计算。科学。 17，第2号，第17号论文，28页（2021年）.
MSC公司：第68季度第65季度 03B70型 18立方厘米 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}等人，日志。方法计算。科学。17，第2号，第17号论文，28页（2021；Zbl 07379288）
全文： DOI程序 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）
全文： DOI程序 arXiv公司
斯特凡诺·皮切赫罗

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

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

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

数学。程序。外倾角。菲洛斯。Soc公司。 169，第1期，159-208（2020）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18立方厘米50 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）
全文： DOI程序 arXiv公司
反向链接： 月
拉尔斯·比克达尔;拉纳德·克鲁斯顿;巴赛尔·曼纳;拉斯穆斯·埃杰勒斯·莫格伯格;安德鲁·M·皮茨。;溅出物，Bas

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

数学。结构。计算。科学。 30，第2期，118-138（2020年）.
MSC公司：03B38型 03B40型 03B45号 18个40
PDF格式BibTeX公司 XML格式引用
\textit{L.Birkedal}等人，数学。结构。计算。科学。30，第2号，118--138（2020；Zbl 1479.03011）
全文： DOI程序 arXiv公司
米尔纳季阿蒙加

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ehrhard，Thomas（ed.）等人，线性逻辑与应用的线性与趋势联合国际研讨会论文集，2018年线性TLLA，英国牛津，2018年7月7日至8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）292133-147（2019）。
MSC公司：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号

Peter Selinger等人，《第十五届量子物理与逻辑国际会议论文集》，QPL'18，加拿大哈利法克斯，2018年6月3-7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）287299-312（2019）。
MSC公司：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）第287页，第67-84页（2019年）。
MSC公司：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公司 链接
史蒂夫·阿沃迪

数学普遍主义和同伦类型理论。 （英语） 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）
全文： DOI程序
艾米、马修

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

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

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

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

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

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

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

Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。336, 257-279 (2018).
MSC公司：68甲18 18 C50 18D20天 68问题55 81页65
PDF格式BibTeX公司 XML格式引用
\textit{M.Rennela}和\textit{S.Staton}，电子。注释Theor。计算。科学。336257-279（2018年；Zbl 1525.68020）
全文： DOI程序
贝林森，A.A。;维希克，A.S。;Kazhdan博士。;卡普兰诺夫，M.M。;Merkurjev，A.S。;D.O.奥尔洛夫。;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）。
MSC公司：01A70号
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Beilinson}等人，俄罗斯数学。Surv公司。73，第3519-531号（2018；Zbl 1402.0013）；来自Usp的翻译。Mat.Nauk 73，No.3，157--168（2018）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件