Denotational Semantics for Dependently Typed Communicating Processes
Denotational Semantics for Dependently Typed Communicating Processes
依赖类型通信过程的指称语义
批准号：
558194-2021
负责人：
Kavanagh, RyanRA
金额：
$3.28万
依托单位：
依托单位国家：
加拿大
项目类别：
Postdoctoral Fellowships
财政年份：
2022
资助国家：
加拿大
项目状态：
已结题
起止时间：
2022-01-01 至 2023-12-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
programming languages, concurrency theory, denotational semantics, session types, dependent types
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
海外基金
