课题基金 / 基金详情

Categorical programming and computability

Categorical programming and computability
分类规划和可计算性
批准号：
105415-2009
负责人：
Cockett, Robin
金额：
$3.64万
依托单位：
University of Calgary
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2012
资助国家：
加拿大
项目状态：
已结题
起止时间：
2012-01-01 至 2013-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=513589
关键词：
Categoricalprogrammingcomputability

项目摘要

项目成果

Cockett, Robin的其他基金

相似基金

相关文献

中文摘要
翻译
本研究涉及范畴理论在计算机科学和程序设计语言语义学中的应用。它有三个主要(相关)方向：
英文摘要
This research concerns the applications of Category Theory to Computer Science and to programming language semantics. It has three main (related) directions:
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Professor
  • 批准号：
    RGPIN-2019-07177
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2022
  • 负责人：
    Cockett, Robin
  • 依托单位：
    University of Calgary
Professor
  • 批准号：
    RGPIN-2019-07177
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2021
  • 负责人：
    Cockett, Robin
  • 依托单位：
    University of Calgary
Professor
  • 批准号：
    RGPIN-2019-07177
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2020
  • 负责人：
    Cockett, Robin
  • 依托单位：
    University of Calgary
Professor
  • 批准号：
    RGPIN-2019-07177
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2019
  • 负责人：
    Cockett, Robin
  • 依托单位：
    University of Calgary
国内基金
海外基金
睾酮在产前应激程序化脑内CRH信号传导通路及焦虑样行为中的作用机制
  • 批准号：
    31100793
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2011
  • 负责人：
    蓝妮
  • 依托单位：
    中国医科大学
枢纽港选址及相关问题的算法设计
  • 批准号：
    71001062
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    17.6万元
  • 批准年份：
    2010
  • 负责人：
    葛冬冬
  • 依托单位：
    上海交通大学
微生物发酵过程的自组织建模与优化控制
  • 批准号：
    60704036
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    21.0万元
  • 批准年份：
    2007
  • 负责人：
    高学金
  • 依托单位：
    北京工业大学