Categorical Semantics and Logical Interpretation of the Pi-Calculus
Categorical Semantics and Logical Interpretation of the Pi-Calculus
Pi 演算的范畴语义和逻辑解释
批准号：
19K20211
负责人：
Tsukada Takeshi
金额：
$2.0万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2019
资助国家：
日本
项目状态：
已结题
起止时间：
2019-04-01 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
A Categorical Model of an $$\mathbf {i/o}$$ -typed $$\pi $$ -calculus
$$mathbf {i/o}$$ 型 $$pi $$ 微积分的分类模型
$$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
无延迟输出：与分类语义兼容的 π 演算
无延迟输出：与分类语义兼容的 π 演算
DOI：
--
发表时间：
2021
期刊：
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction
影响因子：
--
作者：
[Ken Sakayori, Takeshi Tsukada]
通讯作者：
Takeshi Tsukada
Game semantics and intersection type systems for program verification
-
批准号：16K16004
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$1.83万
-
财政年份：2016
-
负责人：Tsukada Takeshi
-
依托单位：
海外基金