摘要：并发游戏作为桥梁，将功能型计算和交互式计算这两个主要的计算范式进行了连接。这在给定系统和环境之间的二分法的元胞理论中起到了关键的作用。并发游戏可以更清晰地看到不同范式之间的差异和联系，并展示了如何将功能提升为策略，以及如何将策略的丰富性转移到功能案例中。
作者：Glynn Winskel
论文ID：2202.13910
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-04-11
PDF 下载： 英文版 中文版pdf翻译中