×

为实现上下文对等,关闭可能、应该和必须的收敛。 (英语) Zbl 1209.68308号


MSC公司:

第68季度55 计算理论中的语义学

软件:

软糖
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abramsky,S.,《懒惰的lambda演算》(Turner,D.A.,《函数编程研究课题》(1990),Addison-Wesley),65-116
[2] Carayol,A。;Hirschkoff,D。;桑吉奥吉(Sangiorgi,D.),《论麦卡锡的琥珀在象形文字中的表现》,《塔斯马尼亚研究中心》,第330、3、439-473页(2005年)·Zbl 1078.68106号
[3] 休斯,G.E。;Cresswell,M.J.,模态逻辑导论(1990),劳特利奇:劳特利希伦敦·Zbl 0855.0302号
[4] 库兹纳,A。;Schmidt-Schauß,M.,《一个不确定的按需调用lambda演算》(ICFP 1998(1998),ACM出版社),324-335·Zbl 1369.68106号
[5] Moran,A.K.D。;Sands,D.,《懒惰环境下的改进:一种基于需求的操作理论》(POPL 1999(1999),ACM出版社),43-56
[6] Moran,A.K.D。;Sands,D。;Carlsson,M.,《不稳定的胡编乱造:嵌入式协调语言的语义理论》,Sci。计算。程序。,46, 1-2, 99-135 (2003) ·Zbl 1026.68091号
[7] Natarajan,V。;Cleaveland,R.,《分歧与公平测试》(ICALP 1995)。ICALP 1995,LNCS,第944卷(1995),施普林格),648-659·Zbl 1412.68155号
[8] Niehren,J。;Sabel,D。;施密特·沙乌(M.Schmidt-Schau)。;Schwinghammer,J.,带参考细胞和期货的并发lambda演算的观察语义,电子。注释Theor。计算。科学。,173313-337(2007年)·Zbl 1316.68034号
[9] Pitts,A.M.,《基于操作的程序等价理论》(Semantics and Logics of Computation(1997),剑桥大学出版社)·Zbl 0919.68086号
[10] Pitts,A.M.,操作语义和程序等价,(O’Donnell,J.T.,应用语义学。应用语义学,LNCS,第2395卷(2002),施普林格),378-412·Zbl 1065.68067号
[11] Rensink,A。;沃格勒,W.,公平测试,Inform。和计算。,205, 2, 125-198 (2007) ·Zbl 1109.68077号
[12] Sabel,D。;Schmidt-Schauß,M.,具有局部自底避免选择的按需lambda-calculus:上下文引理和变换的正确性,数学。结构计算。科学。,18, 03, 501-553 (2008) ·Zbl 1153.68011号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。