Monoidal bicategories, linear logic and operads
Monoidal bicategories, linear logic and operads
幺半群二范畴、线性逻辑和操作数
批准号：
EP/V002309/1
负责人：
Marcelo Fiore
金额：
$13.49万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2021
资助国家：
英国
项目状态：
未结题
起止时间：
2021 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.46298/lmcs-18(2:15)2022
发表时间：
2022
期刊：
Logical Methods in Computer Science
影响因子：
0.6
作者：
[Fiore M]
通讯作者：
Fiore M
Formal metatheory of second-order abstract syntax
二阶抽象语法的形式元理论
二阶抽象语法的形式元理论
DOI：
10.1145/3498715
发表时间：
2022
期刊：
Proceedings of the ACM on Programming Languages
影响因子：
--
作者：
[Fiore M]
通讯作者：
Fiore M
Coherence for bicategorical cartesian closed structure
双分类笛卡尔封闭结构的一致性
双分类笛卡尔封闭结构的一致性
DOI：
10.1017/s0960129521000281
发表时间：
2021
期刊：
Mathematical Structures in Computer Science
影响因子：
0.5
作者：
[Fiore M]
通讯作者：
Fiore M
DOI：
10.4230/lipics.fscd.2022.31
发表时间：
2022
期刊：
Leibniz International Proceedings in Informatics, LIPIcs
影响因子：
--
作者：
[Fiore M.]
通讯作者：
Fiore M.
Free Commutative Monoids in Homotopy Type Theory
同伦型理论中的自由交换幺半群
同伦型理论中的自由交换幺半群
DOI：
10.46298/entics.10492
发表时间：
2023
期刊：
Electronic Notes in Theoretical Informatics and Computer Science
影响因子：
--
作者：
[Choudhury V]
通讯作者：
Choudhury V
共 7 条
海外基金