会议作为提案
Sessions as Propositions
摘要：
最近，Wadler提出了一个从会话类型函数语言GV到基于经典线性逻辑CP的进程演算的连续传递翻译。然而，这种翻译是单向的：CP比GV更有表现力。我们提出了一个扩展的GV，称为HGV，并给出翻译表明，它是表达CP。新的翻译揭示了从GV到CP的原始翻译，以及GV在表达上的局限性。
英文摘要：
Recently, Wadler presented a continuation-passing translation from a session-typed functional language, GV, to a process calculus based on classical linear logic, CP. However, this translation is one-way: CP is more expressive than GV. We propose an extension of GV, called HGV, and give translations showing that it is as expressive as CP. The new translations shed light both on the original translation from GV to CP, and on the limitations in expressiveness of GV.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
