Semantics for Implementations of Programming Languages

编程语言实现的语义

基本信息

批准号：
15K00013
负责人：
Hasegawa Masahito
金额：
$ 3万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
起止时间：
2015-04-01 至 2018-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

On traced *-autonomous categories

关于追踪的*-自治类别

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
Tomoharu Shibuya;Takeru Sudo;長谷川真人
通讯作者：
長谷川真人

Free Traces on Symmetric Monoidal Categories

对称幺半群范畴上的自由迹

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
須藤　尊;渋谷智治;長谷川真人
通讯作者：
長谷川真人

On Semi-duals in Monoidal Categories

关于幺半群范畴中的半对偶

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
Tomoharu Shibuya;Takeru Sudo;Masahito Hasegawa
通讯作者：
Masahito Hasegawa

A conjecture on traced monoidal categories

关于追踪幺半群范畴的猜想

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
Yasuo Nakasuji;Kiyoshi Shirayanagi;Sin-Ei Takahasi;Masahito Hasegawa
通讯作者：
Masahito Hasegawa

From Linear Logic to Cyclic Sharing

从线性逻辑到循环共享

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Hasegawa Masahito
通讯作者：
Hasegawa Masahito

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Hasegawa Masahito其他文献

Semi-Duality in Monoidal Categories

幺半群范畴中的半对偶性

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Ignasi Sau;Hasegawa Masahito
通讯作者：
Hasegawa Masahito

Linear Distributivity With Negation, Star-Autonomy, and Hopf Monads

具有负数、星形自治和 Hopf Monad 的线性分配率

DOI：
发表时间：
2018
期刊：
Theory and Applications of Categories
影响因子：
0.5
作者：
Hasegawa Masahito;Lemay Jean-Simon
通讯作者：
Lemay Jean-Simon

Hasegawa Masahito的其他文献

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

{{ truncateString('Hasegawa Masahito', 18)}}的其他基金

Quantization, Categorification and Geometrization of Program Semantics

程序语义的量化、分类和几何化

批准号：
18K11165
财政年份：
2018
资助金额：
$ 3万
项目类别：
Grant-in-Aid for Scientific Research (C)

相似海外基金

低次元トポロジーに基づく低レベルプログラミング言語の設計と分析

基于低维拓扑的低级编程语言的设计与分析

批准号：
21K11753
财政年份：
2021
资助金额：
$ 3万
项目类别：
Grant-in-Aid for Scientific Research (C)

ガード付き型システムの圏論的解明

保护类型系统的范畴论阐释

批准号：
21K11762
财政年份：
2021
资助金额：
$ 3万
项目类别：
Grant-in-Aid for Scientific Research (C)

高階確率的プログラムにおける差分プライバシーの形式的検証

高阶概率程序中差分隐私的形式化验证

批准号：
20K19775
财政年份：
2020
资助金额：
$ 3万
项目类别：
Grant-in-Aid for Early-Career Scientists

圏論的意味論に基づく並行プログラミング言語の分析

基于类别语义的并发编程语言分析

批准号：
20J13473
财政年份：
2020
资助金额：
$ 3万
项目类别：
Grant-in-Aid for JSPS Fellows

トポロジカル手法による理論分散計算の統一理論の構築

使用拓扑方法构建理论分布式计算的统一理论

批准号：
18J21885
财政年份：
2018
资助金额：
$ 3万
项目类别：
Grant-in-Aid for JSPS Fellows

会员权益说明：