课题基金 / 基金详情

Theory And Applications of Induction Recursion

Theory And Applications of Induction Recursion
归纳递归的理论与应用
批准号：
EP/G03298X/1
负责人：
Thorsten Altenkirch
金额：
$13.59万
依托单位：
University of Nottingham
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2009
资助国家：
英国
项目状态：
已结题
起止时间：
2009 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FG03298X%2F1
关键词：
TheoryApplicationsInductionRecursion

项目摘要

项目成果

Thorsten Altenkirch的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(7)
专著(0)
科研奖励(0)
会议论文
Typed Lambda Calculi and Applications
类型化 Lambda 演算及其应用
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [H. Aota, T. Fukunaga, H. Nagamochi, Masahito Hasegawa (ed.)]
通讯作者： Masahito Hasegawa (ed.)
NOTIONS OF ANONYMOUS EXISTENCE IN MARTIN-LOF TYPE THEORY
马丁-洛夫类型理论中匿名存在的概念
DOI： 10.23638/lmcs-13(1:15)2017
发表时间： 2017
期刊： LOGICAL METHODS IN COMPUTER SCIENCE
影响因子： 0.6
作者： [Kraus Nicolai]
通讯作者： Kraus Nicolai
Higher-Order Containers
高阶容器
DOI： --
发表时间：
期刊：
影响因子： --
作者： [Thorsten Altenkirch (Author)]
通讯作者： Thorsten Altenkirch (Author)
A Syntactical Approach to Weak omega-Groupoids
弱 omega-Groupoid 的语法方法
DOI： --
发表时间：
期刊：
影响因子： --
作者： [Thorsten Altenkirch (Author)]
通讯作者： Thorsten Altenkirch (Author)
Homotopy Type Theory: Programming and Verification
  • 批准号：
    EP/M016994/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $52.09万
  • 财政年份：
    2015
  • 负责人：
    Thorsten Altenkirch
  • 依托单位：
    University of Nottingham
Reusability and Dependent Types
  • 批准号：
    EP/G034109/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $31.18万
  • 财政年份：
    2009
  • 负责人：
    Thorsten Altenkirch
  • 依托单位：
    University of Nottingham
国内基金
海外基金
Applications of AI in Market Design
  • 批准号：
    --
  • 项目类别：
    外国青年学者研 究基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    Manshu Khanna
  • 依托单位：
    北京大学汇丰商学院
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
  • 批准号：
    12126512
  • 项目类别：
    数学天元基金项目
  • 资助金额：
    12.0万元
  • 批准年份：
    2021
  • 负责人：
    李常品
  • 依托单位：
    上海大学
Capture and Release of Droplets Using Advanced Materials for High Technology Applications
  • 批准号：
    52073127
  • 项目类别：
    面上项目
  • 资助金额：
    58.0万元
  • 批准年份：
    2020
  • 负责人：
    Alidad Amirfazli
  • 依托单位：
    江苏理工学院