波拉·塞韦利;卢卡·帕多瓦尼;埃米利奥·托斯托;马里亚纽拉州Dezani-Ciancaglini 关于会话和无限数据。 （英语） Zbl 1448.68211号 日志。方法计算。科学。 13，第2号，第9号论文，39页（2017年）. 摘要：我们定义了一种新的演算，它将基于会话的通信原语与按名称调用的功能核心相结合。我们开发了一种打字规则，确保表达和过程的正常化，并揭示评估和沟通之间意外的相互作用。 引用于1文件 MSC公司： 68甲18 函数编程和lambda演算 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：会话类型;\（\pi\）-微积分;无限数据;型式安全 软件：毫升;Multilisp公司 PDF格式BibTeX公司 XML格式引用 \textit｛P.Severi｝等人，日志。方法计算。科学。13，第2号，第9号论文，39页（2017；Zbl 1448.68211） 全文： 内政部 arXiv公司