应用型双模拟在有界控制操作符中的应用
摘要：基于限定控制操作符shift和reset扩展的非类型化按值调用lambda演算，我们发展了行为理论。在这个演算中，我们讨论了可能的可观察行为，并定义了描述上下文等价性的适用等价关系。然后，我们比较了适用等价关系和CPS等价关系，这是在控制操作符研究中经常使用的一种关系。在这个过程中，我们展示了如何使用适用等价关系证明带有限定控制效果的项的等价性。
作者：Dariusz Biernacki and Serguei Lenglet
论文ID：1201.0874
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-01-05