×

找到65个文档(结果1-65)

形式范畴理论的形式逻辑。 (英语) Zbl 07770334号

Kupferman,Orna(编辑)等人,《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023,作为欧洲软件理论与实践联合会议ETAPS 2023的一部分,于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13992, 113-134 (2023).
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

为刚毛模型构建一个宇宙。 (英语) 兹伯利07410416

Kiefer,Stefan(编辑)等人,《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021,作为欧洲软件理论与实践联合会议ETAPS 2021的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12650, 1-21 (2021).
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无通路的高感应型消除器。 (英语) Zbl 07756115号

Marc Bezem等人,第25届国际校样和程序类型会议。2019年,2019年6月11日至14日,挪威奥斯陆。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175,第10条,第18页(2020年)。
MSC公司:03B70号 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高级归纳类型的语义。 (英语) Zbl 1470.18007号

PDF格式BibTeX公司 XML格式引用

类型理论与集合理论的比较。 (英语) Zbl 1528.03109号

Centrone,Stefania(编辑)等人,《数学基础的思考》。单价基础、集合理论和一般思想。基于2016年7月18日至23日在德国比勒费尔德举行的FOMUS数学基础会议:单价基础和集合论。查姆:施普林格。合成。伦敦银行同业拆借利率。407271-292(2019年)。
MSC公司:03B38型 03E99型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

天真型理论。 (英语) Zbl 1528.03102号

Centrone,Stefania(编辑)等人,《数学基础的思考》。单价基础、集合理论和一般思想。基于2016年7月18日至23日在德国比勒费尔德举行的FOMUS数学基础会议:单价基础和集合论。查姆:施普林格。合成。伦敦银行同业拆借利率。407, 101-136 (2019).
MSC公司:03B38型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

Dybjer,Peter(编辑)等人,第24届国际校样和程序类型会议,2018年types 2018,葡萄牙布拉加,2018年6月18-21日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。130,第7条,第20页(2019年)。
PDF格式BibTeX公司 XML格式引用

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

Geuvers,Herman(编辑),第四届计算和扣除正式结构国际会议,2019年金融稳定与发展会议,德国多特蒙德,2019,6月24-30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。131,第31条,第25页(2019年)。
MSC公司:03B38型 03G30型
PDF格式BibTeX公司 XML格式引用

单价基础中的双类别。 (英语) Zbl 1528.18019号

Geuvers,Herman(编辑),第四届计算和扣除正式结构国际会议,2019年金融稳定与发展会议,德国多特蒙德,2019,6月24-30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。131,第5条,第17页(2019)。
PDF格式BibTeX公司 XML格式引用

朝向定向同伦类型理论。 (英语) Zbl 07515962号

Barbara König(编辑),第35届编程语义数学基础会议论文集,MFPS XXXV,英国伦敦,2019年6月4-7日。阿姆斯特丹:爱思唯尔。电子。理论注释。计算。科学。347, 223-239 (2019).
MSC公司:68号30 68问题55
PDF格式BibTeX公司 XML格式引用

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

Centrone,Stefania(编辑)等人,《通用数学、可计算性和证明》。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼(Villa Vigoni)的德国-意大利欧洲卓越中心(German-Italian Centre for European Excellence)举行的洪堡-科尔勒格(Humboldt-Kolleg)“作为数学普适性的证明理论”。查姆:施普林格。合成。伦敦银行同业拆借利率。412, 203-234 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数学普遍主义和同伦类型理论。 (英语) 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格式引用
全文: 内政部

重新审视异质替代系统。 (英语) Zbl 1433.68220号

Uustalu,Tarmo(编辑),第21届国际校样和程序类型会议,2015年5月18日至21日,爱沙尼亚塔林。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69,第2条,第23页(2018年)。
PDF格式BibTeX公司 XML格式引用

精益中的同伦类型理论。 (英语) Zbl 1484.68319号

Ayala-Rincón,Mauricio(编辑)等人,交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10499, 479-495 (2017).
PDF格式BibTeX公司 XML格式引用

群胚上具有对称性和多项式函子的数据类型。 (英语) Zbl 1342.68216号

Berger,Ulrich(编辑)等人,《第28届编程语义数学基础会议论文集》(MFPS XXVIII),英国巴斯,2012年6月6日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记286,351-365(2012)。
PDF格式BibTeX公司 XML格式引用

类型理论与同伦。 (英语) 兹伯利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格式引用

二维定向类型理论。 (英语) 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格式引用
全文: 内政部

类型理论的同伦理论模型。 (英语) 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型 03B15号机组
PDF格式BibTeX公司 XML格式引用

弱范畴——来自内涵类型理论。 (英语) Zbl 1200.03050号

Curien,Pierre-Louis(编辑),《lambda计算类型和应用》。2009年7月1日至3日在巴西巴西利亚举行的2009年TLCA第九届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02272-2/pbk)。计算机科学课堂讲稿5608172-187(2009)。
MSC公司:03G30型 03楼50
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

传记参考