课题基金 / 基金详情

Recursive Functions and Functionals in the Free Cartesian Closed Category with Equalizers

Recursive Functions and Functionals in the Free Cartesian Closed Category with Equalizers
带均衡器的自由笛卡尔闭范畴中的递归函数和泛函
批准号:
515629-2017
负责人:
Steimle, Yanna
金额:
$1.27万
依托单位:
依托单位国家:
加拿大
项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Master's
财政年份:
2017
资助国家:
加拿大
项目状态:
已结题
起止时间:
2017-01-01 至 2018-12-31

项目摘要

项目成果

Steimle, Yanna的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Eulerian properties of hypergraphs - spanning strict Euler tours and spanning Euler families
  • 批准号:
    498536-2016
  • 项目类别:
    University Undergraduate Student Research Awards
  • 资助金额:
    $0.33万
  • 财政年份:
    2016
  • 负责人:
    Steimle, Yanna
  • 依托单位:
海外基金