×

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

形式拓扑和单价基础。 (英语) Zbl 1528.03251号

Mainzer,Klaus(编辑)等人,《证明与计算II》。从证明理论和单叶数学到程序提取和验证。基于2019年9月20日至26日国际秋季学校“证明与计算”。新泽西州哈肯萨克:《世界科学》。255-266 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

Geuvers,Herman(编辑),第四届计算和推导形式结构国际会议,FSCD 2019,德国多特蒙德,2019年6月24日至30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。131,第11条,第23页(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于立方体类型理论中的高级归纳类型。 (英语) Zbl 1452.03036号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。255-264 (2018).
MSC公司:03B38型 55单位35
PDF格式BibTeX公司 XML格式引用

单价的内部模型。 (英语) Zbl 1452.03035号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。11-12 (2018).
MSC公司:03B38型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

立方型理论:对单价公理的建设性解释。 (英语) Zbl 1434.03036号

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

类型理论的堆栈语义。 (英语) Zbl 1452.03037号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第70条,第11页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

数学的类型理论和形式化。 (英语) Zbl 1489.68395号

Weil,Pascal(编辑),《计算机科学——理论与应用》。2017年6月8日至12日,第十二届俄罗斯国际计算机科学研讨会,CSR 2017,俄罗斯喀山。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10304, 1-6 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

马尔可夫原理在类型理论中的独立性。 (英语) 兹比尔1434.03137

Kesner,Delia(ed.)等人,第一届计算和扣减形式结构国际会议,2016年金融稳定与发展委员会,葡萄牙波尔图,2016年6月22日至26日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。52,第17条,第18页(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2016年阿克曼奖。 (英语) Zbl 1370.03005号

Regnier,Laurent(编辑)等人,2016年8月29日至9月1日,法国马赛CSL’16,第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-022-4)。LIPIcs–莱布尼茨国际信息学论文集62,第1条,第4页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数型理论的预处理模型。 (英语) Zbl 1351.68146号

Ghica,Dan(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319,67-82,仅电子版(2015)。
MSC公司:68问题55 03B15号机组 03B70号 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

立方集合中的类型理论模型。 (英语) Zbl 1359.03009号

Matthes,Ralph(编辑)等人,2013年4月22日至26日在法国图卢兹举行的第19届国际校样和程序类型会议,types 2013。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-72-9)。LIPIcs–莱布尼茨国际信息学论文集26,107-128(2014)。
MSC公司:03B15号机组 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部
单价基金项目

同伦类型理论。数学的单价基础。 (英语) 兹比尔1298.03002

新泽西州普林斯顿:高等研究院;北卡罗来纳州罗利:卢鲁出版社。ix,468页。(2013).
MSC公司:03-02 55-02 03B15号机组 03G30型 18甲15 18个B05 55单位40
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

Hedberg定理的推广。 (英语) Zbl 1433.03032号

长谷川,Masahito(编辑),键入lambda calculi和应用。2013年6月26日至28日在荷兰埃因霍温举行的2013年TLCA第11届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。7941, 173-188 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

类型理论中强迫力的计算解释。 (英语) Zbl 1312.03021号

彼得·戴布杰尔(编辑)等人,《认识论与本体论》。为纪念Per Martin-Löf撰写的关于数学哲学和基础的论文。基于2009年5月5日至8日在瑞典乌普萨拉举行的“数学的哲学和基础:认识论和本体论方面”会议。多德雷赫特:施普林格(ISBN 978-94-007-4434-9/hbk;978-94-07-4435-6/电子书)。《逻辑、认识论和科学的统一》27,203-213(2012)。
MSC公司:03B15号机组 03B40型 03E40型 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

类型理论中的相干环和强离散环。 (英语) Zbl 1383.03016号

Hawblitzel,Chris(编辑)等人,认证程序和证明。2012年12月13日至15日在日本京都举行的第二届国际会议,CPP 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-35307-9/pbk)。计算机科学课堂讲稿7679,273-288(2012)。
MSC公司:03B35型 13层05 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2012年阿克曼奖。 (英语) Zbl 1252.03002号

Cégielski,Patrick(编辑)等人,《计算机科学逻辑》(CSL’12)。2012年9月3日至6日,在法国枫丹白露举行的第21届EACSL年会第26届国际研讨会。根据会议上的陈述选择论文。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-42-2)。LIPIcs–莱布尼茨国际信息学会议录16,1-5,仅电子版(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种用于具有单子类型和证明无关性的类型理论的模块化类型选择算法。 (英语) Zbl 1246.03025号

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

科尔莫戈罗夫对直觉主义逻辑的贡献。 (英语) Zbl 1298.03049号

Charpentier,Eric(编辑)等,科尔莫戈洛夫的数学遗产。翻译。来自法国。柏林:施普林格出版社(ISBN 978-3-540-36349-1/hbk)。19-40 (2007).
MSC公司:03秒20 01A60型 03楼55
PDF格式BibTeX公司 XML格式引用
全文: 链接

类型论中的构造同调代数。 (英语) Zbl 1202.68376号

Kauers,Manuel(编辑)等人,《走向机械化数学助手》。2007年6月27日至30日,第14次研讨会,微积分2007,第6次国际会议,MKM 2007,奥地利哈根贝格。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73083-5/pbk)。计算机科学课堂讲稿4573。人工智能课堂讲稿,40-54(2007)。
MSC公司:第68页第15页 03B35型 65楼03号 18-04 18G99型 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

自动化连贯逻辑。 (英语) Zbl 1143.03332号

Sutcliffe,Geoff(编辑)等人,《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30553-8/pbk)。计算机科学课堂讲稿3835246-260(2005)。
MSC公司:03B35型 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Martin-Löf逻辑框架与满射对的无类型算法等式。 (英语) 兹比尔1112.68346

Urzyczyn,Paweł(编辑),《lambda计算类型和应用》。2005年4月21日至23日在日本奈良举行的2005年TLCA第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25593-1/pbk)。计算机科学课堂讲稿346123-38(2005)。
MSC公司:68号30 03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

完备性定理和(lambda)-演算。 (英语) Zbl 1112.03307号

Urzyczyn,Paweł(编辑),《lambda计算类型和应用》。2005年4月21日至23日在日本奈良举行的2005年TLCA第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25593-1/pbk)。计算机科学课堂讲稿3461,1-9(2005)。
MSC公司:03B40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

纽曼引理——证明自动化和几何逻辑的案例研究。 (英语) Zbl 1063.68089号

Păun,G.(编辑)等人,理论计算机科学的当前趋势。新世纪的挑战。第2卷:形式模型和语义。新泽西州River Edge:《世界科学》(ISBN 981-238-965-2/hbk;981-238-783-8/套)。267-282 (2004).
MSC公司:第68页第15页 03B35型 68兰特
PDF格式BibTeX公司 XML格式引用

具有独立类型记录的逻辑框架。 (英语) Zbl 1052.68018号

马丁·霍夫曼(编辑),《打字lambda calculi和应用》。2003年6月10日至12日,西班牙巴伦西亚,第六届国际会议,TLCA 2003。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40332-9/pbk)。莱克特。注释计算。科学。2701, 105-119 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

依赖型理论导论。 (英语) Zbl 1065.68025号

Barthe,Gilles(编辑)等人,《应用语义学》。2000年9月9日至15日,葡萄牙卡米尼亚,APPSEM 2000国际暑期学校。高级讲座。柏林:施普林格出版社(ISBN 3-540-44044-5)。莱克特。注释计算。科学。2395, 1-41 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

多态(λ)演算的有限子系统。 (英语) 兹伯利0981.03020

Abramsky,Samson(编辑),《键入lambda calculi和应用程序》。第五届国际会议,2001年TLCA,波兰克拉科夫,2001年5月2日至5日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2044, 22-28 (2001).
MSC公司:03B40型
PDF格式BibTeX公司 XML格式引用
全文: 链接

Gröbner以类型理论为基础。 (英语) Zbl 0979.03044号

Altenkirch,Thorsten(编辑)等人,《证明和程序的类型》。98型国际研讨会。Kloster Irsee,德国,1999年3月27日至31日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1657, 33-46 (1999).
PDF格式BibTeX公司 XML格式引用

构造完备的应用。 (英语) Zbl 1434.03098号

Berardi,Stefano(编辑)等人,《证明和程序的类型》。1995年6月5日至8日,意大利都灵,国际研讨会TYPES’95。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1158, 76-84 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

类型理论中的无限对象。 (英语) Zbl 1527.03008号

Barendregt,Henk(编辑)等人,《93年类型》。校样和程序的类型。国际研讨会,荷兰奈梅亨,1993年5月24日至28日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。806, 62-78 (1994).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

类型理论中的一个新悖论。 (英语) Zbl 0821.03005号

Prawitz,D.(ed.)等人,《科学的逻辑、方法论和哲学IX.第九届国际逻辑、方法学和科学哲学大会论文集》,瑞典乌普萨拉,1991年8月7日至14日。阿姆斯特丹:荷兰北部。发现螺柱逻辑。数学。134, 555-570 (1994).
MSC公司:03B40型 03B15号机组
PDF格式BibTeX公司 XML格式引用

归纳定义和类型理论。导言(初版)。 (英语) Zbl 1044.03521号

Thiagarajan,P.S.(编辑),《软件技术和理论计算机科学基础》。第十四届会议,1994年12月15日至17日,印度马德拉斯。诉讼程序。柏林:Springer-Verlag(ISBN 3-540-58715-2/SC)。莱克特。注释计算。科学。880, 60-76 (1994).
PDF格式BibTeX公司 XML格式引用

类型理论中测试转换的算法。 (英语) Zbl 0754.03041号

逻辑框架,程序。第一年。研讨会,Sophia-Antipolis/Fr.1990,255-279(1991)。
PDF格式BibTeX公司 XML格式引用

直觉拉姆齐定理的直接证明。 (英语) Zbl 0794.03086号

大卫·H·皮特(编辑)等人,《范畴理论与计算机科学》。第四届两年一度的夏季会议,1991年9月3日至6日,法国巴黎。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。530, 164-172 (1991).
MSC公司:03楼55 03B70号
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

出版年份