×

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

最新的 引文 关联
新款，Max S。;丹尼尔·李卡塔（Daniel R.Licata）。

形式范畴理论的形式逻辑。 （英语） Zbl 07770334号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 113-134 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.S.新}和\textit{D.R.利卡塔}，莱克特。注释计算。科学。13992、113--134（2023；Zbl 07770334）
全文： 内政部 arXiv公司
OA许可证
Šefl，维特;托马斯·斯沃博达

定量类型理论中的加法类型。 （英语） Zbl 07691327号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 250-262 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{V.Šefl}和\textit{T.斯沃博达}，莱克特。注释计算。科学。13468，250-262（2022；Zbl 07691327）
全文： 内政部
本杰明·穆恩;哈雷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公司
OA许可证
拉尔斯·比克达尔;拉纳德·克鲁斯顿;巴赛尔·曼纳;拉斯穆斯·埃杰勒斯·莫格伯格;安德鲁·皮特斯（Andrew M.Pitts）。;溅出物，Bas

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

数学。结构。计算。科学。 30，第2期，118-138（2020年）。
MSC公司：03B38型 03B40型 03B45号 18个40
PDF格式BibTeX公司 XML格式引用
\textit{L.Birkedal}等人，数学。结构。计算。科学。30，编号2118-138（2020；兹bl 1479.03011）
全文： 内政部 arXiv公司
瓦莱里亚·德·佩瓦;艾克·里特

纤维模态类型理论。 （英语） Zbl 1394.03037号

Benevides，Mario（ed.）等人，《逻辑和语义框架与应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323143-161（2016）。
MSC公司：03B45号 03B70号 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{V.de Paiva}和\textit{E.Ritter}，电子。注释Theor。计算。科学。323143-161（2016；Zbl 1394.03037）
全文： 内政部
康纳·麦克布莱德

我有很多“疯子”。 （英语） Zbl 1343.68060号

林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·沃德勒60岁生日之际为他撰写的论文。查姆：施普林格（ISBN 978-3-319-30935-4/pbk；978-3-3169-30936-1/电子书）。计算机科学讲座笔记9600，207-233（2016）。
MSC公司：68号30 03B70号 03楼52 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{C.McBride}，莱克特。注释计算。科学。9600，207--233（2016；Zbl 1343.68060）
全文： 内政部
丹尼尔·艾哈曼;尼尔·加尼;戈登·普洛金（Gordon D.Plotkin）。

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

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

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

全部的 前3名

主字段

全部的 前3名

软件