Monoidal bicategories, linear logic and operads

幺半群二范畴、线性逻辑和操作数

• 批准号: EP/V002309/1
• 负责人: Marcelo Fiore
• 金额: $ 13.49万
• 依托单位: University of Cambridge
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2021
• 资助国家: 英国
• 起止时间: 2021 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FV002309%2F1
• 关键词: Monoidal; bicategories; linear; logic; operads

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.

目前GtR中并没有所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但也可能是因为摘要中包含个人详细信息等敏感信息。

项目成果

Quotients, inductive types, and quotient inductive types

商、归纳类型和商归纳类型

• DOI: 10.46298/lmcs-18(2:15)2022
• 发表时间: 2022
• 期刊: Logical Methods in Computer Science
• 影响因子: 0.6
• 作者: Fiore M

Coherence for bicategorical cartesian closed structure

双分类笛卡尔封闭结构的一致性

• DOI: 10.1017/s0960129521000281
• 发表时间: 2021
• 期刊: Mathematical Structures in Computer Science
• 影响因子: 0.5
• 作者: Fiore M

Formal metatheory of second-order abstract syntax

二阶抽象语法的形式元理论

• DOI: 10.1145/3498715
• 发表时间: 2022
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: 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

A Combinatorial Approach to Higher-Order Structure for Polynomial Functors

多项式函子高阶结构的组合方法

• DOI: 10.4230/lipics.fscd.2022.31
• 发表时间: 2022
• 期刊: Leibniz International Proceedings in Informatics, LIPIcs
• 作者: Fiore M.