课题基金 / 基金详情

Linear logic and monoidal categories

Linear logic and monoidal categories
线性逻辑和幺半群类别
批准号：
155810-2011
负责人：
Blute, Richard
金额：
$0.8万
依托单位：
University of Ottawa
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2014
资助国家：
加拿大
项目状态：
已结题
起止时间：
2014-01-01 至 2015-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=545727
关键词：
Linearlogicmonoidalcategories

项目摘要

项目成果

Blute, Richard的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The goal of my project will be to continue to explore the theory of monoidal categories, especially using the techniques of linear logic. Examples of monoidal categories have arisen in a number of settings, from the theory of concurrent computation in computer science to topological and algebraic quantum field theory in physics. The monoidal structure is crucial in understanding these applications.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Linear logic, finiteness spaces and bicategories
  • 批准号：
    RGPIN-2022-03900
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.31万
  • 财政年份：
    2022
  • 负责人：
    Blute, Richard
  • 依托单位：
    University of Ottawa
Linear Logic, Monoidal Categories and Abstract Models of Differentiation and Integration
  • 批准号：
    RGPIN-2016-05593
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.09万
  • 财政年份：
    2021
  • 负责人：
    Blute, Richard
  • 依托单位：
    University of Ottawa
Linear Logic, Monoidal Categories and Abstract Models of Differentiation and Integration
  • 批准号：
    RGPIN-2016-05593
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.09万
  • 财政年份：
    2020
  • 负责人：
    Blute, Richard
  • 依托单位：
    University of Ottawa
Linear Logic, Monoidal Categories and Abstract Models of Differentiation and Integration
  • 批准号：
    RGPIN-2016-05593
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.09万
  • 财政年份：
    2019
  • 负责人：
    Blute, Richard
  • 依托单位：
    University of Ottawa
国内基金
海外基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
  • 批准号：
    --
  • 项目类别：
    外国学者研究基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    YU BYUNGJUN
  • 依托单位：
    上海理工大学管理学院
Incentive and governance schenism study of corporate green washing behavior in China: Based on an integiated view of econfiguration of environmental authority and decoupling logic
  • 批准号：
    --
  • 项目类别：
    外国学者研究基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    YU BYUNGJUN
  • 依托单位：
    上海理工大学管理学院