Linear Logic, Monoidal Categories and Abstract Models of Differentiation and Integration
线性逻辑、幺半范畴与微分与积分的抽象模型
基本信息
- 批准号:RGPIN-2016-05593
- 负责人:
- 金额:$ 1.09万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2021
- 资助国家:加拿大
- 起止时间:2021-01-01 至 2022-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
algebra of differentiation and integration; Linear Logic; Monoidal Categories
微分积分代数;线性逻辑;么半群范畴
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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 }}
Blute, Richard其他文献
Blute, Richard的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Blute, Richard', 18)}}的其他基金
Linear logic, finiteness spaces and bicategories
线性逻辑、有限空间和二分类
- 批准号:
RGPIN-2022-03900 - 财政年份:2022
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear Logic, Monoidal Categories and Abstract Models of Differentiation and Integration
线性逻辑、幺半范畴与微分与积分的抽象模型
- 批准号:
RGPIN-2016-05593 - 财政年份:2020
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear Logic, Monoidal Categories and Abstract Models of Differentiation and Integration
线性逻辑、幺半范畴与微分与积分的抽象模型
- 批准号:
RGPIN-2016-05593 - 财政年份:2019
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear Logic, Monoidal Categories and Abstract Models of Differentiation and Integration
线性逻辑、幺半范畴与微分与积分的抽象模型
- 批准号:
RGPIN-2016-05593 - 财政年份:2018
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear Logic, Monoidal Categories and Abstract Models of Differentiation and Integration
线性逻辑、幺半范畴与微分与积分的抽象模型
- 批准号:
RGPIN-2016-05593 - 财政年份:2017
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear Logic, Monoidal Categories and Abstract Models of Differentiation and Integration
线性逻辑、幺半范畴与微分与积分的抽象模型
- 批准号:
RGPIN-2016-05593 - 财政年份:2016
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear logic and monoidal categories
线性逻辑和幺半群类别
- 批准号:
155810-2011 - 财政年份:2015
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear logic and monoidal categories
线性逻辑和幺半群类别
- 批准号:
155810-2011 - 财政年份:2014
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear logic and monoidal categories
线性逻辑和幺半群类别
- 批准号:
155810-2011 - 财政年份:2013
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear logic and monoidal categories
线性逻辑和幺半群类别
- 批准号:
155810-2011 - 财政年份:2012
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国学者研究基金项目
相似海外基金
Monoidal bicategories, linear logic and operads
幺半群二范畴、线性逻辑和操作数
- 批准号:
EP/V002325/2 - 财政年份:2022
- 资助金额:
$ 1.09万 - 项目类别:
Research Grant
Monoidal bicategories, linear logic and operads
幺半群二范畴、线性逻辑和操作数
- 批准号:
EP/V002325/1 - 财政年份:2021
- 资助金额:
$ 1.09万 - 项目类别:
Research Grant
Monoidal bicategories, linear logic and operads
幺半群二范畴、线性逻辑和操作数
- 批准号:
EP/V002309/1 - 财政年份:2021
- 资助金额:
$ 1.09万 - 项目类别:
Research Grant
Linear Logic, Monoidal Categories and Abstract Models of Differentiation and Integration
线性逻辑、幺半范畴与微分与积分的抽象模型
- 批准号:
RGPIN-2016-05593 - 财政年份:2020
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear Logic, Monoidal Categories and Abstract Models of Differentiation and Integration
线性逻辑、幺半范畴与微分与积分的抽象模型
- 批准号:
RGPIN-2016-05593 - 财政年份:2019
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear Logic, Monoidal Categories and Abstract Models of Differentiation and Integration
线性逻辑、幺半范畴与微分与积分的抽象模型
- 批准号:
RGPIN-2016-05593 - 财政年份:2018
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear Logic, Monoidal Categories and Abstract Models of Differentiation and Integration
线性逻辑、幺半范畴与微分与积分的抽象模型
- 批准号:
RGPIN-2016-05593 - 财政年份:2017
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear Logic, Monoidal Categories and Abstract Models of Differentiation and Integration
线性逻辑、幺半范畴与微分与积分的抽象模型
- 批准号:
RGPIN-2016-05593 - 财政年份:2016
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear logic and monoidal categories
线性逻辑和幺半群类别
- 批准号:
155810-2011 - 财政年份:2015
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Linear logic and monoidal categories
线性逻辑和幺半群类别
- 批准号:
155810-2011 - 财政年份:2014
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual