雷蒙德·麦克道尔;戴尔·米勒;卡图西亚帕拉米德斯 在序列演算中对转换系统进行编码。（初步报告）。 （英语） Zbl 0908.03049号 Girard，Jean-Yves（编辑）等人，《线性逻辑》96。会议论文，庆应义塾大学，日本东京，1996年3月28日至4月2日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第3、15页（1996年）。 摘要：线性逻辑用于指定各种进程计算的操作语义。在本文中，我们探讨了如何使用此类编码建立元级判断，如模拟和互模拟。一般来说，线性逻辑太弱，无法得出这样的判断，我们将重点放在使用定义对线性逻辑的扩展上。我们将在过渡系统的背景下探讨这种扩展。关于整个系列，请参见[Zbl 0903.00059号]. 引用于2文件 MSC公司： 05年3月 切割消除和正规形定理 68问题55 计算理论中的语义学 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：进程计算的操作语义;元水平判断;线性逻辑的推广;过渡系统 PDF格式BibTeX公司 XML格式引用 \textit{R.McDowell}等人，in：线性逻辑96。会议论文，庆应义塾大学，日本东京，1996年3月28日至4月2日。阿姆斯特丹：爱思唯尔。第15页（1996年；Zbl 0908.03049） 全文： 链接