限定控制运算符的双模拟
摘要：行为理论的完整研究：扩展带有限定控制操作符shift和reset的无类型lambda演算。为此，我们为这个演算定义了一种上下文等价关系，然后我们目标是用递归定义的关系（称为bisimilarities）来描述它。我们在一个统一框架内考虑了不同风格的bisimilarities（即适用性、正规形式和环境），并且给出了几个例子来说明它们各自的优势和劣势。我们还讨论了如何将这项工作扩展到其他有限定控制操作符。
作者：Dariusz Biernacki, Sergue"i Lenglet, Piotr Polesiuk
论文ID：1804.08373
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22