×

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

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

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

Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37288-102（2022）。
MSC公司：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）.
审核人：菲利普·马尔博斯（里昂）
MSC公司：18号45 03B38型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Fiore}等人，日志。方法计算。科学。18，第2号，第15号论文，37页（2022年；Zbl 1502.18046）
全文： arXiv公司 链接
雅各布·埃梅内格;法比奥·帕斯夸利;朱塞佩·罗索里尼

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

Ann.纯粹应用。逻辑 173，第6号，文章ID 103103，29 p.（2022）.
审核人：罗伯特·罗斯布鲁（萨克维尔）
MSC公司：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（筑波）
MSC公司：03B38型 03G30型 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{T.Coquand}等人，《日志》。方法计算。科学。18，第1号，第28号论文，第35页（2022年；Zbl 1486.03027）
全文： arXiv公司 链接
卡洛·安吉利;纪尧姆·布鲁内里;可口、蒂埃里;罗伯特·哈珀;Hou（Favonia）、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）
全文： 内政部
西蒙·卡斯特伦;皮埃尔·克莱兰堡;彼得·戴比杰

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

克劳迪娅·卡萨迪奥（编辑）等人，约阿希姆·兰贝克：数学、逻辑和语言学的相互作用。查姆：斯普林格。外部。控制日志。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）
全文： 内政部 arXiv公司
你好，Stefano

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

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

较高归纳类型的语义。 （英语） 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，No.1，159--208（2020；Zbl 1470.18007）
全文： 内政部 arXiv公司
反向链接： 卫生官员
拉尔斯·比克达尔;拉纳德·克鲁斯顿;巴赛尔·曼纳;拉斯穆斯·埃杰勒斯·莫格伯格;安德鲁·皮特斯（Andrew M.Pitts）。;Spitters，巴斯

模态从属类型理论和从属右伴随词。 （英语） Zbl 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 1528.03027号

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

单价基础和等价原则。 （英语） 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）
全文： 内政部 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）
全文： 内政部
上村，太极

立方体集合，一个单价的、无效的宇宙，以及命题大小调整的失败。 （英语） 兹比尔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｝，LIPIC——莱布尼茨国际会议记录。通知。130，第7条，第20页（2019年；Zbl 1528.03114）
全文： 内政部 arXiv公司
阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;范德维德，尼尔斯

单价基础中的双类别。 （英语） 兹伯利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年；Zbl 1528.18019）
全文： 内政部 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｝，合成。伦敦银行同业拆借利率。412、13-36（2019年；Zbl 1469.03035）
全文： 内政部
阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩

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

日志。方法计算。科学。 15，第1号，第20号论文，第18页（2019年）.
审核人：马可·贝尼尼（布奇纳斯科）
MSC公司：18甲15 03年11月15日
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}和\textit{P.Lefanu Lumsdaine}，Log。方法计算。科学。15，第1号，第20号论文，第18页（2019年；Zbl 1419.18001）
全文： arXiv公司
阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西

高级签名和初始语义。 （英语） 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）
全文： 内政部
阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩;弗拉基米尔·沃沃德斯基

单价基础中类型理论的分类结构。 （英语） Zbl 1496.03053号

日志。方法计算。科学。 14，第3号，第18号论文，18页（2018）.
MSC公司：03B38型 03楼50 18 C50 03B70号 55单位40 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}等人，日志。方法计算。科学。14，第3号，第18号论文，18页（2018；Zbl 1496.03053）
全文： 内政部 arXiv公司
西里尔·科恩;可口、蒂埃里;西蒙·胡贝尔;安德斯·莫特伯格

立方型理论：对单价公理的建设性解释。 （英语） Zbl 1434.03036号

Uustalu，Tarmo（编辑），第21届国际校样和程序类型会议，2015年5月18日至21日，爱沙尼亚塔林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69，第5条，第34页（2018年）。
MSC公司：03B38型 03楼50 55单位35 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{C.Cohen}等人，LIPIcs——莱布尼茨国际程序。通知。69，第5条，第34页（2018；Zbl 1434.03036）
全文： 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛

具有经典和概率控制的密度矩阵的lambda演算。 （英语） Zbl 1503.68043号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。10695, 448-467 (2017).
MSC公司：68号30 03B40型 68甲18 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Díaz-Caro}，莱克特。票据计算。科学。10695、448--467（2017；Zbl 1503.68043）
全文： 内政部 arXiv公司
迪亚斯·卡罗，亚历杭德罗;Gilles Dowek

键入量子叠加和测量。 （英语） Zbl 1513.81018号

Martín-Vide，Carlos（编辑）等人，《自然计算的理论与实践》。2017年12月18日至20日，第六届国际会议，TPNC 2017，捷克共和国布拉格。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。10687281-293（2017年）。
MSC公司：81页68 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Díaz-Caro}和\textit{G.Dowek}，莱克特。票据计算。科学。10687，281--293（2017；Zbl 1513.81018）
全文： 内政部 哈尔
伊恩·奥尔顿;安德鲁·皮特斯（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）
全文： 内政部
阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩

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

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第5条，第16页（2017年）。
MSC公司：18甲15 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}和\textit{P.L.Lumsdaine}，LIPIcs——莱布尼茨国际程序。通知。84，第5条，第16页（2017年；兹bl 1434.18002）
全文： 内政部
弗洛里斯·范·道恩;雅各布·冯·劳默;乌尔里克·巴赫霍尔茨

精益中的同构型理论。 （英语） Zbl 1484.68319号

Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。10499, 479-495 (2017).
MSC公司：68V20型 03B35型 03B38型 03G30型 55单位40
PDF格式BibTeX公司 XML格式引用
\textit{F.van Doorn}等人，Lect。票据计算。科学。10499，479--495（2017；Zbl 1484.68319）
全文： 内政部 arXiv公司
西尔维奥·吉拉尔迪;玛丽亚·乔昂·古韦亚;路易吉·桑托卡纳莱

直觉命题演算中的定点消去法。 （英语） Zbl 1475.03069号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。勒克特。票据计算。科学。9634, 126-141 (2016).
MSC公司：03B20型 6月20日
PDF格式BibTeX公司 XML格式引用
\textit｛S.Ghilardi｝等人，Lect。票据计算。科学。9634，126--141（2016；Zbl 1475.03069）
全文： 内政部 arXiv公司 链接
格特·斯莫尔卡;史蒂文·施费尔;克里斯蒂安·多兹卡尔

经典类型理论中的超有限结构。 （英语） Zbl 1465.03057号

Urban，Christian（ed.）等人，《交互式定理证明》。第六届国际会议，2015年ITP，中国南京，2015年8月24日至27日。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。9236, 391-404 (2015).
MSC公司：03B38型 03E20型 03E25型 65楼03号 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Smolka}等人，Lect。票据计算。科学。9236，391--404（2015；Zbl 1465.03057）
全文： 内政部
马克·拉森

利用参数性理论研究弱\（\ω\）-群像律的正则性。 （英语） Zbl 1337.03016号

Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308229-244，仅电子版（2014）。
MSC公司：03年11月15日 03G30型 55单位40
PDF格式BibTeX公司 XML格式引用
\textit{M.Lasson}，电子。注释Theor。计算。科学。308229--244（2014；Zbl 1337.03016）
全文： 内政部
噢，史蒂夫

类型理论与同伦。 （英语） Zbl 1314.03013号

彼得·戴布杰尔（编辑）等人，《认识论与本体论》。为纪念Per Martin-Löf撰写的关于数学哲学和基础的论文。基于2009年5月5日至8日在瑞典乌普萨拉举行的“数学的哲学和基础：认识论和本体论方面”会议。多德雷赫特：施普林格（ISBN 978-94-007-4434-9/hbk；978-94-07-4435-6/电子书）。《逻辑、认识论与科学的统一》27，183-201（2012）。
MSC公司：03B15号机组 35楼03号 55页99
PDF格式BibTeX公司 XML格式引用
\textit{S.Awodey}，日志。认识论。统一科学。27、183--201（2012；Zbl 1314.03013）
全文： 内政部 arXiv公司
丹尼尔·李卡塔（Daniel R.Licata）。;罗伯特·哈珀

二维定向类型理论。 （英语） Zbl 1343.03051号

Mislove，Michael（ed.）等人，《第27届编程语义数学基础会议论文集》（MFPS XXVII），匹兹堡，宾夕法尼亚州，美国，2011年5月25日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记276263-289（2011）。
MSC公司：03G30型 03B15号机组 18D05日 55单位40 68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Licata}和\textit{R.Harper}，电子。注释Theor。计算。科学。276263-289（2011年；Zbl 1343.03051）
全文： 内政部
彼得·阿恩特;克日什托夫·卡普尔金

类型理论的同伦理论模型。 （英语） Zbl 1331.03044号

Ong，Luke（编辑），《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21690-9/pbk；978-3-662-21691-6/电子书）。计算机科学讲座笔记6690，45-60（2011）。
MSC公司：03G30型 03年11月15日
PDF格式BibTeX公司 XML格式引用
\textit{P.Arndt}和\textit{K.Kapulkin}，莱克特。票据计算。科学。6690，45-60（2011；Zbl 1331.03044）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件