×

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

最新的 引文 关联
乔里斯·塞勒曼斯;安德烈亚斯·努伊茨;多米尼克·德夫里塞

Sikkel：作为Agda库的多模态简单类型理论。 （英语） Zbl 07779294号

Jeremy Gibbons等人，《数学结构函数编程第九次研讨会论文集》，MSFP 2022，德国慕尼黑，2022年4月2日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）360，93-112（2022）。
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{J.Ceulemans}等人，《电子》。程序。西奥。计算。科学。（EPTCS）360、93--112（2022；Zbl 07779294）
全文： arXiv公司 链接
阿利耶·霍西纳巴迪;马赫迪·哈达迪;卡迪耶·凯什瓦尔杜斯特

在具有支持-排序的标称集上。 （英语） Zbl 1511.03013号

类别。阿尔盖布将军。结构。申请。 17，编号1，141-172（2022）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：03E70型 18个B05 18A20型 54天10分 54D15号
PDF格式BibTeX公司 XML格式引用
\textit{A.Hossinabadi}等人，Categ。阿尔盖布将军。结构。申请。17，编号1，141--172（2022；Zbl 1511.03013）
全文： 内政部
雅各布·埃梅内格;法比奥·帕斯夸利;朱塞佩·罗索里尼

基本纤维的特征。 （英语） 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公司
可口、蒂埃里;西蒙·胡贝尔;克里斯蒂安·萨特勒

立方型理论的规范性和同伦规范性。 （英语） 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公司 链接
丹尼尔·利万特

多项式时间和空间的算法广义语言。 （英语） Zbl 07547752号

Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 372-387 (2021).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Leivant}，莱克特。注释计算。科学。13038、372--387（2021；Zbl 07547752）
全文： 内政部
米查尔·科内奇;塞翁公园;Thies，霍尔格

公理实数和经证明有效的精确实数计算。 （英语） Zbl 07547745号

Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 252-268 (2021).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\文本{M.Konečný}等人，Lect。注释计算。科学。13038、252--268（2021；Zbl 07547745）
全文： 内政部 链接
彼得·霍夫斯特拉;菲利普·斯科特

范畴递归理论的几个方面。 （英语） Zbl 1486.81060号

克劳迪娅·卡萨迪奥（编辑）等人，约阿希姆·兰贝克：数学、逻辑和语言学的相互作用。查姆：斯普林格。外部。控制日志。20, 219-269 (2021).
审核人：卡洛斯·佩德罗·冈萨尔维斯（里斯本）
MSC公司：81页68 04年第68季度 18-08 03天60 01A05号 01-01 2001年1月 94-01
PDF格式BibTeX公司 XML格式引用
\textit{P.Hofstra}和\textit{P.Scott}，Outst。控制日志。20、219--269（2021；Zbl 1486.81060）
全文： 内政部 arXiv公司
西蒙·卡斯特伦;皮埃尔·克莱兰堡;彼得·迪布杰

具有族的类别：单位类型、简单类型和依赖类型。 （英语） 兹伯利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公司
吉勒姆·贾伯;科林·里巴

保护递归类型的时间优化。 （英语） Zbl 1473.68047号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 548-578 (2021).
MSC公司：68号30 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{G.Jaber}和\textit{C.Riba}，莱克特。注释计算。科学。12648548--578（2021年；Zbl 1473.68047）
全文： 内政部
本杰明·穆恩;哈雷III伊德斯;多米尼克·乌节

分级模态相关型理论。 （英语） Zbl 1473.68052号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 462-490 (2021).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{B.Moon}等人，Lect。注释计算。科学。12648462--490（2021；Zbl 1473.68052）
全文： 内政部 arXiv公司
伦纳特·贝林格

已验证的软件单元。 （英语） Zbl 1473.68035号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 118-147 (2021).
MSC公司：68甲15 03B70号 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Beringer}，莱克特。注释计算。科学。12648118-147（2021年；兹比尔1473.68035）
全文： 内政部
丹尼尔森、尼尔斯·安德斯

无通路的高感应型消除器。 （英语） 兹伯利07756115

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。175，第10条，第18页（2020年）。
MSC公司：03B38型
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Danielsson}，LIPIcs——莱布尼茨国际程序。通知。175，第10条，第18页（2020；Zbl 07756115）
全文： 内政部
安布罗斯·卡波西;科瓦奇，安德拉斯;安布罗斯·拉丰

对于有限归纳法，归纳法就足够了。 （英语） Zbl 07756111号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。175，第6条，第30页（2020年）。
MSC公司：03B38型
PDF格式BibTeX公司 XML格式引用
\textit{A.Kaposi}等人，LIPIcs——莱布尼茨国际程序。通知。175，第6条，第30页（2020；Zbl 07756111）
全文： 内政部
托尔斯滕阿尔滕基奇;科林·杰尼特

类型理论的大步归一化。 （英语） Zbl 07756109号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。175，第4条，第20页（2020年）。
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{T.Altenkirch}和\textit{C.Geniet}，LIPIcs——莱布尼茨国际程序。通知。175，第4条，第20页（2020；Zbl 07756109）
全文： 内政部
桑德拉·阿尔维斯;迪莉娅·凯斯纳;丹尼尔·文图拉

对模式匹配的定量理解。 （英语） Zbl 07756108号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。175，第3条，第36页（2020年）。
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{S.Alves}等人，LIPIcs——莱布尼茨国际程序。通知。175，第3条，第36页（2020；Zbl 07756108）
全文： 内政部 arXiv公司
吉尔·巴特;拉斐尔·克鲁比莱;达尔拉戈，乌戈;弗朗西斯科·加瓦佐

关于开放逻辑关系的多功能性。连续性、自动微分和包含定理。 （英语） Zbl 1508.68055号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 56-83 (2020).
MSC公司：68号30 03B40型 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}等人，Lect。注释计算。科学。12075，56-83（2020；Zbl 1508.68055）
全文： 内政部 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

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

数学。结构。计算。科学。 第2号第30页，第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.03109号

Centrone，Stefania（编辑）等人，《数学基础的思考》。单价基础、集合理论和一般思想。基于数学基础会议：单价基础和集合论，FOMUS，德国比勒费尔德，2016年7月18-23日。查姆：斯普林格。合成。天秤座。407, 271-292 (2019).
MSC公司：03B38型 03E99型
PDF格式BibTeX公司 XML格式引用
\textit{A.Klev}，Synth（合成）。天秤座。407、271--292（2019年；Zbl 1528.03109）
全文： 内政部
托尔斯滕阿尔滕基奇

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

Centrone，Stefania（编辑）等人，《数学基础的思考》。单价基础、集合理论和一般思想。基于数学基础会议：单价基础和集合论，FOMUS，德国比勒费尔德，2016年7月18-23日。查姆：斯普林格。合成。天秤座。407, 101-136 (2019).
MSC公司：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:Schloss Dagstuhl–Leibniz 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公司
乔纳森·斯特林;卡洛·安吉乌利;丹尼尔·格拉泽

无反射扩展等式的立方语法。 （英语） Zbl 1528.03113号

Geuvers，Herman（编辑），第四届计算和推导形式结构国际会议，FSCD 2019，德国多特蒙德，2019年6月24日至30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第31条，第25页（2019年）。
MSC公司：03B38型 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{J.Sterling}等人，LIPIcs——莱布尼茨国际程序。通知。131，第31条，第25页（2019年；Zbl 1528.03113）
全文： 内政部 arXiv公司
雅各布·保林（JacobéPaulin de Naurois）

递归指针：探索热带。 （英语） Zbl 1528.68138号

Geuvers，Herman（编辑），第四届计算和推导形式结构国际会议，FSCD 2019，德国多特蒙德，2019年6月24日至30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第29条，第18页（2019年）。
MSC公司：2015年第68季度 20日03时
PDF格式BibTeX公司 XML格式引用
\textit{J.P.de Naurois}，LIPIcs——莱布尼茨国际程序。通知。131，第29条，第18页（2019年；Zbl 1528.68138）
全文： 内政部 arXiv公司
安布罗斯·卡波西;西蒙·胡贝尔;克里斯蒂安·萨特勒

类型理论的粘合。 （英语） Zbl 1528.03107号

Geuvers，Herman（编辑），第四届计算和推导形式结构国际会议，FSCD 2019，德国多特蒙德，2019年6月24日至30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第25条，第19页（2019年）。
MSC公司：03B38型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Kaposi｝等人，LIPIcs——莱布尼茨国际期刊。通知。131，第25条，第19页（2019年；Zbl 1528.03107）
全文： 内政部
可口、蒂埃里;西蒙·胡贝尔;克里斯蒂安·萨特勒

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

Geuvers，Herman（编辑），第四届计算和推导形式结构国际会议，FSCD 2019，德国多特蒙德，2019年6月24日至30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第11条，第23页（2019年）。
MSC公司：03B38型 03G30型 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{T.Coquand}等人，LIPIcs——莱布尼茨国际程序。通知。131，第11条，第23页（2019年；Zbl 1528.03106）
全文： 内政部
阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;范德维德，尼尔斯

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

Geuvers，Herman（编辑），第四届计算和推导形式结构国际会议，FSCD 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公司
贝尼亚米·阿卡托利

重新审视\（\lambda \）-演算。 （英语） Zbl 1528.68054号

Geuvers，Herman（编辑），第四届计算和推导形式结构国际会议，FSCD 2019，德国多特蒙德，2019年6月24日至30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第1条，第20页（2019年）。
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{B.Accattoli}，LIPIcs——莱布尼茨国际程序。通知。131，第1条，第20页（2019年；Zbl 1528.68054）
全文： 内政部
克劳斯·美因泽

从数学的普遍性到可证明性、可计算性和可构造性。 （英语） Zbl 1469.03113号

Centrone，Stefania（编辑）等人，《通用数学、可计算性和证明》。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼（Villa Vigoni）的德国-意大利欧洲卓越中心（German-Italian Centre for European Excellence）举行的洪堡-科尔勒格（Humboldt-Kolleg）“作为数学普适性的证明理论”。查姆：斯普林格。合成。天秤座。412, 203-234 (2019).
MSC公司：03日第10天 03天35分 35楼03号 03层60 03B30型 35层03 68伏15 03B38型 55单位40
PDF格式BibTeX公司 XML格式引用
\textit{K.Mainzer}，合成。天秤座。412203-234（2019年；兹比尔1469.03113）
全文： 内政部
史蒂夫·阿沃迪

数学普遍主义和同伦类型理论。 （英语） 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）
全文： 内政部
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Anna Ingólfsdóttir;尤兰达奥尔特加购物中心

标称过程计算的规则格式。 （英语） 兹比尔1442.68119

日志。方法计算。科学。 15，第4号，第2号论文，46页（2019年）.
MSC公司：68问题85 03B70号 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，日志。方法计算。科学。15，第4号，第2号论文，46页（2019年；Zbl 1442.68119）
全文： arXiv公司
纪尧姆·阿拉伊斯

用剩余部分打字——直觉主义乘法加法线性逻辑的机械化。 （英语） Zbl 1528.03242号

Abel，Andreas（编辑）等人，第23届国际校样和程序类型会议，2017年5月24日至6月1日，匈牙利布达佩斯。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。104，第1条，第22页（2018年）。
MSC公司：03楼52 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Allais}，LIPIcs——莱布尼茨国际程序。通知。104，第1条，22 p.（2018；Zbl 1528.03242）
全文： 内政部
诺莱，雷米;亚历克西斯·索林;克里斯汀·塔森

不动点线性逻辑循环证明的局部有效性。 （英语） Zbl 1528.03246号

Ghica，Dan R.（ed.）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4日至8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。119，第35条，第23页（2018年）。
MSC公司：03楼52 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Nollet}等人，LIPIcs——莱布尼茨国际程序。通知。119，第35条，23 p.（2018；Zbl 1528.03246）
全文： 内政部
帕特里克·贝洛特;亚历克西斯·盖塞伦

将线性逻辑和大小类型相结合以实现隐含的复杂性。 （英语） Zbl 1528.68056号

Ghica，Dan R.（ed.）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4日至8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。119，第9条，第21页（2018年）。
MSC公司：68甲18 03B70号 03楼52 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Baillot}和\textit{A.Ghyselen}，LIPIcs——莱布尼茨国际程序。通知。119，第9条，第21页（2018；Zbl 1528.68056）
全文： 内政部
丹尼尔·李卡塔（Daniel R.Licata）。;伊恩·奥尔顿;安德鲁·皮特斯（Andrew M.Pitts）。;溅出物，Bas

同伦类型理论模型中的内部宇宙。 （英语） Zbl 1462.03010号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。108，第22条，第17页（2018年）。
MSC公司：03B38型 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Licata}等人，LIPIcs——莱布尼茨国际程序。通知。108，第22条，第17页（2018；Zbl 1462.03010）
全文： 内政部 arXiv公司
石原、Hajime;玛丽亚·艾米莉亚·梅埃蒂;Maschio，萨穆勒;托马斯·斯特里彻

最低限度基础的内涵层次与丘奇的论点和选择公理的一致性。 （英语） Zbl 1522.03323号

架构（architecture）。数学。逻辑 57，编号7-8，873-888（2018）.
MSC公司：35层03 03B38型 30楼03号 03楼50 65楼03号
PDF格式BibTeX公司 XML格式引用
\textit{H.Ishihara}等人，Arch。数学。逻辑57，编号7--8873--888（2018；Zbl 1522.03323）
全文： 内政部 链接
阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩;弗拉基米尔·沃沃德斯基

单价基础中类型理论的分类结构。 （英语） 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公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件