Categorical Semantics and Logical Interpretation of the Pi-Calculus

Pi 演算的范畴语义和逻辑解释

• 批准号: 19K20211
• 负责人: Tsukada Takeshi
• 金额: $ 2万
• 依托单位: Chiba University (2020-2021)The University of Tokyo (2019)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Early-Career Scientists
• 财政年份: 2019
• 资助国家: 日本
• 起止时间: 2019-04-01 至 2022-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-19K20211/
• 关键词: π計算; 圏論的意味論; 計算論的ラムダ計算; 線形論理; η則; 計算効果; 並行計算; Freyd圏

项目成果

A Categorical Model of an $$\mathbf {i/o}$$ -typed $$\pi $$ -calculus

$$mathbf {i/o}$$ 型 $$pi $$ 微积分的分类模型

• DOI: 10.1007/978-3-030-17184-1_23
• 发表时间: 2019
• 期刊: Proceedings of the 28th European Symposium on Programming
• 作者: Sakayori Ken;Tsukada Takeshi
• 通讯作者: Tsukada Takeshi

Output Without Delay: A π-Calculus Compatible with Categorical Semantics

无延迟输出：与分类语义兼容的 π 演算

• 发表时间: 2021
• 期刊: Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction
• 作者: Ken Sakayori;Takeshi Tsukada
• 通讯作者: Takeshi Tsukada