On algebraic structure of functional programming languages: towards mathematical foundation of logical relations
论函数式编程语言的代数结构：走向逻辑关系的数学基础
基本信息
- 批准号：26730004
- 负责人：
- 金额：$ 2.41万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2014
- 资助国家：日本
- 起止时间：2014-04-01 至 2019-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（5）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Memoryful Geometry of Interaction II: Recursion and Adequacy
交互的记忆几何 II：递归和充分性
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：Koko Muroya; Naohiko Hoshino; Ichiro Hasuo
- 通讯作者：Ichiro Hasuo
Partial Traces on Additive Categories
加法范畴的部分踪迹
- DOI：
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：Naohiko Hoshino
- 通讯作者：Naohiko Hoshino
Partial Traces on Additive Categories
加法范畴的部分踪迹
- DOI：10.1016/j.entcs.2018.11.011
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：Hoshino Naohiko
- 通讯作者：Hoshino Naohiko
Geometry of Bayesian Programming
贝叶斯规划的几何
- DOI：
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Ugo Dal Lago;Naohiko Hoshino
- 通讯作者：Naohiko Hoshino
Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects
交互的记忆几何：从代数分量到代数效应
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：Naohiko Hoshino; Koko Muroya; Ichiro Hasuo
- 通讯作者：Ichiro Hasuo
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Hoshino Naohiko其他文献
Partial Traces on Additive Categories
加法范畴的部分踪迹
- DOI：
10.1016/j.entcs.2018.11.011 - 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Hoshino Naohiko - 通讯作者：
Hoshino Naohiko
Partial Traces on Additive Categories
加法范畴的部分踪迹
- DOI：
10.1016/j.entcs.2018.11.011 - 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Hoshino Naohiko - 通讯作者：
Hoshino Naohiko
Hoshino Naohiko的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
Categorical and Higher-Categorical Approaches to Duality and Semantics across Mathematics, Physics, and Information
跨数学、物理和信息的二元性和语义的分类和更高分类方法
- 批准号：
17K14231 - 财政年份：2021
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
述語変換子による合成性を活かした自動検証手法の圏論的意味論を経由した拡張
通过类别语义使用谓词变换器使用组合性扩展自动验证方法
- 批准号：
21J14216 - 财政年份：2021
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for JSPS Fellows
高階確率的プログラムにおける差分プライバシーの形式的検証
高阶概率程序中差分隐私的形式化验证
- 批准号：
20K19775 - 财政年份：2020
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
圏論的意味論に基づく並行プログラミング言語の分析
基于类别语义的并发编程语言分析
- 批准号：
20J13473 - 财政年份：2020
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Categorical Semantics and Logical Interpretation of the Pi-Calculus
Pi 演算的范畴语义和逻辑解释
- 批准号：
19K20211 - 财政年份：2019
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Early-Career Scientists