×

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

最新的 引文 关联
米查尔·科内奇；塞翁公园；霍尔格·蒂斯

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

Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13038252-268（2021年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Koneční}等人，Lect。票据计算。科学。13038、252--268（2021；Zbl 07547745）
全文： 内政部 链接
西蒙·卡斯特伦；皮埃尔·克莱兰堡；彼得·戴比杰

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

克劳迪娅·卡萨迪奥（编辑）等人，约阿希姆·兰贝克：数学、逻辑和语言学的相互作用。查姆：斯普林格。Outst公司。控制日志。20, 135-180 (2021).
审核人：Hirokazu Nishimura（筑波）
MSC公司：18-02 2002年3月 03G30型 18日第15天
PDF格式BibTeX公司 XML格式引用
\textit{S.Castellan}等人，Outst。控制日志。20、135——180（2021；Zbl 1478.18001）
全文： 内政部 arXiv公司
克日什托夫·卡普尔金；彼得·勒法努·卢姆斯代恩

单价基础的简化模型（根据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）
全文： 内政部 arXiv公司
雅各布·埃梅内格；埃里克·帕尔姆格伦

集合的精确完备性和构造性理论。 （英语） Zbl 1485.03257号

J.塞姆。日志。 85，编号2，563-584（2020）.
审核人：阿米特·库伯（坎普尔）
MSC公司：03G30型 18A35型 18对25 18甲15 03B38型 18个B05 18日第15天 03楼55
PDF格式BibTeX公司 XML格式引用
\textit｛J.Emmenegger｝和\textit｛E.Palmgren｝，J.Symb。日志。85，编号2，563--584（2020；Zbl 1485.03257）
全文： 内政部 arXiv公司
Lars Birkedal公司；拉纳德·克鲁斯顿；巴赛尔·曼纳；拉斯穆斯·埃杰勒斯·莫格伯格；安德鲁·皮特斯（Andrew M.Pitts）。；溅出物，Bas

模态从属类型理论和从属右伴随词。 （英语） 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公司
丹尼尔·艾哈曼；尼尔·加尼；戈登·普洛金（Gordon D.Plotkin）。

依赖类型和光纤计算效果。 （英语） Zbl 1475.68057号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9634, 36-54 (2016).
MSC公司：68甲18 03B38型 03B70号 18 C50 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Ahman}等人，Lect。票据计算。科学。9634，36-54（2016；Zbl 1475.68057）
全文： 内政部 链接
海宁·巴索尔德

从属归纳型和共归纳型是fibrational dialbras。 （英语） Zbl 1476.68157号

Matthes，Ralph（编辑）等人，第十届计算机科学固定点国际研讨会论文集，2015年国际计算机科学联合会，德国柏林，2015年9月11日至12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）191，3-17（2015）。
MSC公司：68问题65 03B38型 18A22型 18日第15天
PDF格式BibTeX公司 XML格式引用
\textit{H.Basold}，电子。程序。西奥。计算。科学。（EPTCS）191，3--17（2015；Zbl 1476.68157）
全文： arXiv公司 链接
彼得·勒法努·卢姆斯代恩；迈克尔·沃伦（Michael A.Warren）。

局部宇宙模型：依赖型理论被忽视的连贯结构。 （英语） Zbl 1354.03101号

ACM事务处理。计算。日志。 第16条第3款第23条第31页（2015年）.
MSC公司：03G30型 03B40型 55单位40
PDF格式BibTeX公司 XML格式引用
\textit{P.L.Lumsdaine}和\textit{M.A.Warren}，ACM翻译。计算。日志。16，第3号，第23条，第31页（2015；Zbl 1354.03101）
全文： 内政部 arXiv公司
阿尔瓦罗·佩莱奥；迈克尔·沃伦（Michael A.Warren）。

同伦类型理论和Voevodsky的单叶基础。 （英语） Zbl 1432.03019号

牛市。美国数学。Soc.，新Ser。 51，第4期，597-648（2014）.
MSC公司：03B38型 18纳米45 03G30型 55单位40 55单位35 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{阿尔·佩莱奥}和\textit{M.A.沃伦}，公牛。美国数学。Soc.，新系列。51，第4号，597--648（2014；Zbl 1432.03019）
全文： 内政部 arXiv公司
史蒂夫·阿沃迪

类型理论与同伦。 （英语） 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}，日志。认识论。统一科学。27183－201（2012年；兹bl 1314.03013）
全文： 内政部 arXiv公司
皮埃尔·克莱兰堡；彼得·戴比杰

局部笛卡尔闭范畴与Martin-Löf型理论的双等价性。 （英语） Zbl 1331.03045号

Ong，Luke（编辑），《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21690-9/pbk；978-3-662-21691-6/电子书）。计算机科学讲座笔记669091-106（2011）。
MSC公司：03G30型 03B15号机组 18日第15天
PDF格式BibTeX公司 XML格式引用
\textit{P.Clairambault}和\textit{P.Dybjer}，莱克特。票据计算。科学。6690，91-106（2011；Zbl 1331.03045）
全文： 内政部 哈尔
史蒂夫·阿沃迪；弗洛里安·拉贝

Martin-Löf的扩展类型理论的Kripke语义。 （英语） 兹比尔1246.03022

Curien，Pierre Louis（编辑），类型lambda结石及其应用。2009年7月1日至3日在巴西巴西利亚举行的2009年TLCA第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02272-2/pbk）。计算机科学课堂讲稿5608，249-263（2009）。
MSC公司：03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.Awodey}和\textit{F.Rabe}，莱克特。票据计算。科学。5608249--263（2009年；Zbl 1246.03022）
全文： 内政部 arXiv公司
亚历山大·布伊斯；彼得·戴比杰

直觉主义类型理论在局部笛卡尔闭范畴中的解释——直觉主义视角。 （英语） Zbl 1286.03029号

Bauer，Andrej（编辑）等人，《第24届编程语义数学基础会议论文集》（MFPS XXIV），美国宾夕法尼亚州费城，2008年5月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记218，21-32（2008）。
MSC公司：03B15号机组 18日第15天 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Buisse}和\textit{P.Dybjer}，电子。注释Theor。计算。科学。218、21-32（2008年；Zbl 1286.03029）
全文： 内政部
玛丽亚·艾米莉亚·梅埃蒂

乔亚尔的算术世界通过类型理论。 （英语） 兹比尔1270.03144

Rick Blute（编辑）等人，CTCS’02。2002年8月15日至17日，加拿大安大略省渥太华市，第九届类别理论与计算机科学会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记69，272-286（2003）。
MSC公司：03G30型 30楼03号
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Maietti}，电子。注释Theor。计算。科学。69、272--286（2003年；Zbl 1270.03144）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件