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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了