×

兹马思-数学第一资源

may、should和must的闭包在上下文等价性中收敛。(英语) Zbl 1209.68308

理学硕士:
68问55 计算理论中的语义学
软件:
胡说八道
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 艾布拉姆斯基,《懒惰的兰姆达微积分》,第页,第65-116页
[2] 卡拉约尔,A。;赫施考夫博士。;Sangiorgi,D.,关于麦卡锡的amb在π演算中的表现,Tcs,330,3,439-473,(2005)·Zbl 1078.68106
[3] 休斯,G.E。;克雷斯韦尔,M.J.,模态逻辑导论,(1990),劳特利奇伦敦·Zbl 0855.03002
[4] 库兹纳,A。;施密特.肖ß,M.,《非确定性调用》,需要lambda演算,第324-335页·Zbl 1369.68106
[5] 莫兰,A.K.D。;桑兹,D.,《懒惰环境下的改进:按需调用的操作理论》,第43-56页
[6] 莫兰,A.K.D。;沙,D。;Carlsson,M.,《反复无常的谎言:嵌入式协调语言的语义理论》,Sci。计算机。程序。,46,1-2,99-135,(2003年)·Zbl 1026.68091
[7] 纳塔拉扬五世。;《分歧与公平检验》,第648-659页·Zbl 1412.68155
[8] 尼伦,J。;萨贝尔。;Schmidt Schauß,M。;Schwinghammer,J.,《带参考细胞和期货的并发lambda演算的观察语义学》,电子。理论笔记。计算机。科学。,173313-337,(2007年)·Zbl 1316.68034
[9] Pitts,A.M.,基于操作的程序等价理论,()·Zbl 0919.68086
[10] 《操作语义学与程序对等》,第378-412页·Zbl 1065.68067
[11] 伦辛克,A。;沃格勒,W.,公平测试,通知。还有电脑。,205,22125-198,(2007年)·Zbl 1109.68077
[12] 萨贝尔,D。;Schmidt Schauß,M.,《局部底部避免选择的需要lambda演算:上下文引理与转换正确性》,数学。结构计算。科学。,2008年3月18日,第501-553页·Zbl 1153.68011
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。