课题基金 / 基金详情

Homotopy Type Theory: Programming and Verification

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

项目摘要

项目成果

Nicola Gambino的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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)
会议论文
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
DOI： 10.1007/s00029-017-0361-3
发表时间： 2018-07-01
期刊： SELECTA MATHEMATICA-NEW SERIES
影响因子： 1.4
作者： [Fiore, M., Gambino, N., Winskel, G.]
通讯作者： Winskel, G.
On operads, bimodules and analytic functors
关于操作数、双模和解析函子
DOI： 10.48550/arxiv.1405.7270
发表时间： 2014
期刊： arXiv e-prints
影响因子： --
作者： [Gambino Nicola]
通讯作者： Gambino Nicola
MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
代数弱因式分解系统的Martin-LäF型理论模型
DOI： 10.1017/jsl.2021.39
发表时间： 2021
期刊： The Journal of Symbolic Logic
影响因子： --
作者： [GAMBINO N]
通讯作者： GAMBINO N
The Frobenius condition, right properness, and uniform fibrations
弗罗贝尼乌斯条件、正确性和均匀纤维化
DOI： 10.1016/j.jpaa.2017.02.013
发表时间： 2017
期刊： Journal of Pure and Applied Algebra
影响因子： 0.8
作者： [Gambino N]
通讯作者： Gambino N
共 7 条
    Monoidal bicategories, linear logic and operads
    • 批准号：
      EP/V002325/2
    • 项目类别：
      Research Grant
    • 资助金额：
      $31.74万
    • 财政年份：
      2022
    • 负责人：
      Nicola Gambino
    • 依托单位：
      University of Manchester
    Monoidal bicategories, linear logic and operads
    • 批准号：
      EP/V002325/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $50.43万
    • 财政年份：
      2021
    • 负责人：
      Nicola Gambino
    • 依托单位：
      University of Leeds
    国内基金
    海外基金
    铋基邻近双金属位点Type B异质结光热催化合成氨机制研究
    • 批准号：
    • 项目类别：
      省市级项目
    • 资助金额：
      30.0万元
    • 批准年份：
      2024
    • 负责人：
      黎景卫
    • 依托单位：
      佛山仙湖实验室
    智能型Type-I光敏分子构效设计及其抗耐药性感染研究
    • 批准号：
      22207024
    • 项目类别：
      青年科学基金项目（C类）
    • 资助金额：
      20.0万元
    • 批准年份：
      2022
    • 负责人：
      赵琦
    • 依托单位：
      苏州大学
    TypeⅠR-M系统在碳青霉烯耐药肺炎克雷伯菌流行中的作用机制研究
    • 批准号：
      --
    • 项目类别：
      面上项目
    • 资助金额：
      55万元
    • 批准年份：
      2021
    • 负责人：
      蒋晓飞
    • 依托单位：
      复旦大学
    替加环素耐药基因 tet(A) type 1 变异体在碳青霉烯耐药肺炎克雷伯菌中的流行、进化和传播
    • 批准号：
      LY22H200001
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2021
    • 负责人：
      蔡加昌
    • 依托单位：
      浙江大学