课题基金 / 基金详情

Category theory and applications to computer science

Category theory and applications to computer science
范畴论及其在计算机科学中的应用
批准号：
5401-2011
负责人：
Rosebrugh, Robert
金额：
$0.73万
依托单位：
Mount Allison University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2013
资助国家：
加拿大
项目状态：
已结题
起止时间：
2013-01-01 至 2014-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=520798
关键词：
Categorytheoryapplicationscomputerscience

项目摘要

项目成果

Rosebrugh, Robert的其他基金

相似基金

相关文献

中文摘要
翻译
范畴论是现代数学和计算机科学的许多部分的语言。在发展范畴论时经常使用的工具之一是分配律，一种重写规则的形式。这种重写的一个例子是从算术中熟悉的，每个学生都知道，具有公因子的乘积的和具有更短的表达式，即公因子乘以和。
英文摘要
Category theory is the language of many parts of modern mathematics and computer science. One of the tools often used in developing category theory is the distributive law, a form of rewriting rule. An example of this rewriting is familiar from arithmetic where every student learns that a sum of products with a common factor has a shorter expression as the common factor times a sum.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Category theory and applications to computer science
  • 批准号：
    5401-2011
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $0.73万
  • 财政年份：
    2015
  • 负责人：
    Rosebrugh, Robert
  • 依托单位：
    Mount Allison University
Category theory and applications to computer science
  • 批准号：
    5401-2011
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $0.73万
  • 财政年份：
    2014
  • 负责人：
    Rosebrugh, Robert
  • 依托单位：
    Mount Allison University
Category theory and applications to computer science
  • 批准号：
    5401-2011
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $0.73万
  • 财政年份：
    2012
  • 负责人：
    Rosebrugh, Robert
  • 依托单位：
    Mount Allison University
Category theory and applications to computer science
  • 批准号：
    5401-2011
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $0.73万
  • 财政年份：
    2011
  • 负责人：
    Rosebrugh, Robert
  • 依托单位：
    Mount Allison University
国内基金
海外基金
Research on Quantum Field Theory without a Lagrangian Description
  • 批准号：
    24ZR1403900
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    SATOSHI NAWATA
  • 依托单位：
    复旦大学
Fibered纽结的自同胚、Floer同调与4维亏格
  • 批准号：
    12301086
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    30.00万元
  • 批准年份：
    2023
  • 负责人：
    何东泰
  • 依托单位：
    同济大学
基于密度泛函理论金原子簇放射性药物设计、制备及其在肺癌诊疗中的应用研究
  • 批准号：
    82371997
  • 项目类别：
    面上项目
  • 资助金额：
    48.00万元
  • 批准年份：
    2023
  • 负责人：
    张春富
  • 依托单位：
    上海交通大学
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
  • 批准号：
    12247163
  • 项目类别：
    专项项目
  • 资助金额：
    18.00万元
  • 批准年份：
    2022
  • 负责人：
    黄栋
  • 依托单位：
    苏州大学