课题基金 / 基金详情

数理論理学とプログラム意味論におけるストーン型の圏論的双対性とその応用

数理論理学とプログラム意味論におけるストーン型の圏論的双対性とその応用
石型范畴二元性及其在数理逻辑和程序语义中的应用
批准号：
11J06509
负责人：
丸山 善宏
金额：
$0.45万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2011
资助国家：
日本
项目状态：
已结题
起止时间：
2011 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-11J06509/
关键词：

项目摘要

项目成果

丸山 善宏的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Categorical Duality and Semantics Across Mathematics, Informatics and Physics and their Applications to Categorical Machine Learning and Quantum Computing