关于会话与无限数据
On Sessions and Infinite Data
AI总结：
本文提出一种结合按名调用函数核心与会话通信原语的新演算，并建立类型系统以保证表达式归一化和进程进展，揭示求值与通信的相互作用。
摘要：
我们定义了一种新颖的演算，它将按名调用的函数核心与会话式通信原语相结合。我们发展了一种类型纪律，它同时保证了表达式的归一化与进程的进展，并揭示了求值与通信之间意想不到的相互作用。
英文摘要：
We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisation of expressions and progress of processes and that uncovers an unexpected interplay between evaluation and communication.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
