×

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

最新的 引文 关联
弗兰蒂舍克·法尔卡

睡眠不足：在类型理论中验证类型理论的实现。 （英语） Zbl 07496645号

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 133-150 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Farka}，莱克特。注释计算。科学。12561，133-150（2021；Zbl 07496645）
全文： 内政部
雷纳尔德·阿弗尔德；雅克·加里格；大卫·诺瓦克；高福美斋川

具有概率和不确定性的公理推理的可靠单子。 （英语） Zbl 1493.03004号

J.功能。程序。 31，论文编号e17，38 p.（2021）.
审核人：亚历山大·戈伊（里昂）
MSC公司：03B70号 03B35型 68甲18 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Affeldt}等人，J.Funct。程序。31，论文编号e17，38 p.（2021；Zbl 1493.03004）
全文： 内政部 arXiv公司
法布里奇奥·基诺维塞；亚历克斯·格里兹洛夫；杰尔·赫罗德；安德烈·克尼斯佩尔；马可·佩隆；埃里克·波斯特；安德烈·维德拉

伊德里斯·科特：一个在Idris中进行范畴理论的图书馆。 （英语） Zbl 07453982号

Baez，John（ed.）等人，《2019年应用范畴理论学报》，ACT 2019，英国牛津大学，2019年7月15日至19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32326246-254（2020年）。
MSC公司：68倍 2018年XX月18日
PDF格式BibTeX公司 XML格式引用
\textit{F.Genovese}等人，《电子》。程序。西奥。计算。科学。（EPTCS）323246-254（2020；Zbl 07453982）
全文： arXiv公司 链接
弗兰克·斯拉玛；埃德温·布雷迪

通过类型安全反射自动证明等价性。 （英语） Zbl 1367.68257号

Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学讲义10383。《人工智能课堂讲稿》，40-55页（2017年）。
MSC公司：68吨15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Slama}和\textit{E.Brady}，莱克特。注释计算。科学。10383、40-55（2017年；Zbl 1367.68257）
全文： 内政部 链接
杨燕鹏；碧、轩；布鲁诺·C·d·S·奥利维拉。

具有iso-types的统一语法。 （英语） Zbl 1483.68065号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10017, 251-270 (2016).
MSC公司：68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Yang｝等人，Lect。注释计算。科学。10017、251--270（2016；Zbl 1483.68065）
全文： 内政部
文森特·拉里

锻炼Nuprl的开放性。 （英语） Zbl 1434.68644号

Greuel，Gert Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 18-27 (2016).
MSC公司：68伏15 03B35型 03E25型 03层60 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{V.Rahli}，莱克特。注释计算。科学。9725，18-27（2016；Zbl 1434.68644）
全文： 内政部 链接
丹尼尔·塞尔萨姆；莱昂纳多·德·莫拉

内涵型理论中的同余闭包。 （英语） Zbl 1475.68452号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 99-115 (2016).
MSC公司：68伏15 03B35型 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{D.Selsam}和\textit{L.de Moura}，莱克特。注释计算。科学。9706,99-115（2016；Zbl 1475.68452）
全文： 内政部 arXiv公司
阿列舍·比兹亚克；汉斯·布格·格雷斯沃尔；拉纳德·克鲁斯顿；莫盖尔伯格，拉斯穆斯·E。；拉尔斯·比克达尔

具有共导类型的保护依赖类型理论。 （英语） Zbl 1475.68060号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 20-35 (2016).
MSC公司：68甲18 03B38型 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Bizjak}等人，Lect。注释计算。科学。9634，20--35（2016；Zbl 1475.68060）
全文： 内政部 arXiv公司
理查德·艾森伯格。；斯蒂芬妮·威里奇；哈米达桑·艾哈迈德。

可见类型应用程序。 （英语） Zbl 1335.68031号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632，229-254（2016）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{R.A.Eisenberg}等人，Lect。注释计算。科学。9632、229--254（2016；Zbl 1335.68031）
全文： 内政部 链接
克里斯·卡辛基诺；维勒姆·舍贝里；斯蒂芬妮·威里奇

用一种依赖类型的语言结合证明和程序。 （英语） Zbl 1284.68125号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-2544-8）。33-45 (2014).
MSC公司：68甲18 60年第68季度 68号30 68问题55 03B40型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Casinghino}等人，in：第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。33-45（2014年；Zbl 1284.68125）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件