×
菲利普·瓦德勒

提案作为会议。 （英语） Zbl 1307.68025号

J.功能。程序。 24，编号2-3384-418（2014）.
小结：继续Abramsky（1994）、Bellin和Scott（1994）以及Caires和Pfenning（2010）等人的工作，本文介绍了CP，一种演算，其中经典线性逻辑的命题对应于会话类型。继续本田（1993）、本田等人（1998）和盖伊（和）瓦斯科塞洛斯（2010）等人的工作，本文介绍了GV，一种具有会话类型的线性函数语言，以及从GV到CP的翻译。该翻译首次确立了会话类型的标准表示和线性逻辑之间的联系，并展示了对标准表示的修改是如何产生一种无争用和死锁的语言的，其中争用和死锁的自由来自线性逻辑的对应。

引用于2评论
引用于39文件

MSC公司：

68甲18 函数编程和lambda演算
03B70号 计算机科学中的逻辑

关键词：

线性逻辑;会话类型;线性函数语言;种族与僵局自由
PDF格式BibTeX公司 XML格式引用
\textit{P.Wadler}，J.Funct。程序。24，编号2--3384--418（2014；Zbl 1307.68025）
全文： 内政部

参考文献：

[1] 内政部：10.1017/S0960129500001328·Zbl 0752.03027号 ·doi:10.1017/S0960129500001328
[2] 证据和类型（1989）·Zbl 0671.68002号
[3] 数字对象标识码：10.1017/S09567968099990268·Zbl 1185.68194号 ·doi:10.1017/S09567968099990268
[4] 数字对象标识码：10.1007/s00236-005-0177-z·Zbl 1079.68065号 ·doi:10.1007/s00236-005-0177-z
[5] 第21届并行理论国际会议（CONCUR 2010）第222页–（2010）
[6] DOI:10.1016/j.entcs.2007.02.056·doi:10.1016/j.entcs.2007.02.056
[7] 关于Girard的“Reducibilité候选”第123页–（1990）
[8] 欧洲程序设计研讨会（ESOP），计算机科学讲稿第330页–（2013）
[9] DOI:10.1007/s00236-005-0175-1·Zbl 1079.68064号 ·doi:10.1007/s00236-005-0175-1
[10] 牛市。欧洲协会。计算。科学。103第53页–（2011年）
[11] 内政部：10.1016/0304-3975（94）00104-9·Zbl 0817.03001号 ·doi:10.1016/0304-3975（94）00104-9
[12] 第22届欧洲规划研讨会（ESOP’13）第350页–（2013）
[13] 内政部：10.1016/0304-3975（94）00103-0·兹比尔0850.68297 ·doi:10.1016/0304-3975（94）00103-0
[14] 内政部：10.1016/0304-3975（93）90181-R·Zbl 0791.03003号 ·doi:10.1016/0304-3975（93）90181-R
[15] DOI:10.1017/S0960129504004323·Zbl 1093.68026号 ·doi:10.1017/S0960129504004323
[16] DOI:10.1007/BF01211602·Zbl 0835.68016号 ·doi:10.1007/BF01211602
[17] 并行程序设计的理论与实践pp 137–（1994）
[18] 程序设计语言原理研讨会（POPL 1996）第358页–（1996）
[19] 联合国大学/研究所十周年学术讨论会记录第439页–（2002年）
[20] 第六届国际PARLE会议记录第398页–（1994）
[21] （高级并发语言（HLCL），1998年）。电子。注释Theor。计算。科学。第16页，225页–（1998年）·Zbl 0903.00063号
[22] 第四届并行理论国际会议记录（CONCUR 1993）第509页–（1993）
[23] 内政部：10.1017/S0956796811000116·Zbl 1271.68079号 ·doi:10.1017/S0956796811000116
[24] 证据、语言和互动，《罗宾·米尔纳纪念文集》第455页-（2000）
[25] 内政部：10.1145/337244.337261·Zbl 1094.68591号 ·doi:10.1145/337244.337261
[26] 内政部：10.1016/0890-5401（92）90008-4·Zbl 0752.68036号 ·doi:10.1016/0890-5401（92）90008-4
[27] 逻辑编程扩展第242页–（1992）
[28] 内政部：10.1016/0304-3975（87）90045-4·Zbl 0625.03037号 ·doi:10.1016/0304-3975（87）90045-4
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。