课题基金 / 基金详情

Homotopy Type Theory: Programming and Verification

Homotopy Type Theory: Programming and Verification
同伦类型理论：编程与验证
批准号：
EP/M016994/1
负责人：
Thorsten Altenkirch
金额：
$52.09万
依托单位：
University of Nottingham
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2015
资助国家：
英国
项目状态：
已结题
起止时间：
2015 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FM016994%2F1
关键词：
HomotopyTypeTheoryProgrammingVerification

项目摘要

项目成果

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.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
软件科学与计算结构基础 - 第 20 届国际会议，FOSSACS 2017，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2017，瑞典乌普萨拉，2017 年 4 月 22-29 日，会议记录
DOI： 10.1007/978-3-662-54458-7_31
发表时间： 2017
期刊：
影响因子： --
作者： [Altenkirch T]
通讯作者： Altenkirch T
Extending Homotopy Type Theory with Strict Equality
用严格等式扩展同伦型理论
DOI： 10.48550/arxiv.1604.03799
发表时间： 2016
期刊：
影响因子： --
作者： [Altenkirch T]
通讯作者： Altenkirch T
Normalisation by evaluation for dependent types
通过评估依赖类型进行标准化
DOI： 10.4230/lipics.fscd.2016.6
发表时间： 2016
期刊： Leibniz International Proceedings in Informatics, LIPIcs
影响因子： --
作者： [Altenkirch T.]
通讯作者： Altenkirch T.
The Integers as a Higher Inductive Type
整数作为更高归纳类型
DOI： 10.1145/3373718.3394760
发表时间： 2020
期刊：
影响因子： --
作者： [Altenkirch T]
通讯作者： Altenkirch T
共 8 条
    Theory And Applications of Induction Recursion
    • 批准号：
      EP/G03298X/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $13.59万
    • 财政年份：
      2009
    • 负责人：
      Thorsten Altenkirch
    • 依托单位：
      University of Nottingham
    Reusability and Dependent Types
    • 批准号：
      EP/G034109/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $31.18万
    • 财政年份：
      2009
    • 负责人：
      Thorsten Altenkirch
    • 依托单位：
      University of Nottingham
    国内基金
    海外基金
    铋基邻近双金属位点Type B异质结光热催化合成氨机制研究
    • 批准号：
    • 项目类别：
      省市级项目
    • 资助金额：
      30.0万元
    • 批准年份：
      2024
    • 负责人：
      黎景卫
    • 依托单位：
      佛山仙湖实验室
    智能型Type-I光敏分子构效设计及其抗耐药性感染研究
    • 批准号：
      22207024
    • 项目类别：
      青年科学基金项目（C类）
    • 资助金额：
      20.0万元
    • 批准年份：
      2022
    • 负责人：
      赵琦
    • 依托单位：
      苏州大学
    TypeⅠR-M系统在碳青霉烯耐药肺炎克雷伯菌流行中的作用机制研究
    • 批准号：
      --
    • 项目类别：
      面上项目
    • 资助金额：
      55万元
    • 批准年份：
      2021
    • 负责人：
      蒋晓飞
    • 依托单位：
      复旦大学
    替加环素耐药基因 tet(A) type 1 变异体在碳青霉烯耐药肺炎克雷伯菌中的流行、进化和传播
    • 批准号：
      LY22H200001
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2021
    • 负责人：
      蔡加昌
    • 依托单位：
      浙江大学