On algebraic structure of functional programming languages: towards mathematical foundation of logical relations
On algebraic structure of functional programming languages: towards mathematical foundation of logical relations
论函数式编程语言的代数结构：走向逻辑关系的数学基础
批准号：
26730004
负责人：
Hoshino Naohiko
金额：
$2.41万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Partial Traces on Additive Categories
加法范畴的部分踪迹
加法范畴的部分踪迹
DOI：
10.1016/j.entcs.2018.11.011
发表时间：
2018
期刊：
Electronic Notes in Theoretical Computer Science
影响因子：
--
作者：
[Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo, Hoshino Naohiko]
通讯作者：
Hoshino Naohiko
Geometry of Bayesian Programming
贝叶斯规划的几何
贝叶斯规划的几何
DOI：
--
发表时间：
2019
期刊：
To appear in Proceedings of Logic in Computer Science 2019
影响因子：
--
作者：
[中川 亮, 中谷 文彦, 遠藤 誠, 川井 章, 吉田 朗彦, 八尋 健一郎, 木村 敦, 関 剛彦, 荒木 一司, 北林 一生, 中島 康晴, Osawa et al, Ugo Dal Lago and Naohiko Hoshino]
通讯作者：
Ugo Dal Lago and Naohiko Hoshino
Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects
交互的记忆几何：从代数分量到代数效应
交互的记忆几何：从代数分量到代数效应
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Naohiko Hoshino, Koko Muroya, Ichiro Hasuo]
通讯作者：
Ichiro Hasuo
Memoryful Geometry of Interaction II: Recursion and Adequacy
交互的记忆几何 II：递归和充分性
交互的记忆几何 II：递归和充分性
DOI：
10.1145/2837614.2837672
发表时间：
2016
期刊：
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016
影响因子：
--
作者：
[Koko Muroya, Naohiko Hoshino and Ichiro Hasuo]
通讯作者：
Naohiko Hoshino and Ichiro Hasuo
海外基金