Homotopy Type Theory: Programming and Verification

同伦类型理论：编程与验证

基本信息

  • 批准号：
    EP/M01729X/1
  • 负责人：
    Nicola Gambino
  • 金额：
    $ 11.87万
  • 依托单位：
    University of Leeds
  • 依托单位国家：
    英国
  • 项目类别：
    Research Grant
  • 财政年份：
    2015
  • 资助国家：
    英国
  • 起止时间：
    2015 至 无数据
  • 项目状态：
    已结题

项目摘要

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.
目前GtR中并没有所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但也可能是因为摘要中包含个人详细信息等敏感信息。

项目成果

期刊论文数量（10）
专著数量（0）
科研奖励数量（0）
会议论文数量（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
  • 影响因子：
    0
  • 作者：
    Gambino Nicola
  • 通讯作者：
    Gambino Nicola
MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
代数弱因式分解系统的Martin-LäF型理论模型
The Frobenius condition, right properness, and uniform fibrations
弗罗贝尼乌斯条件、正确性和均匀纤维化
Introduction - from type theory and homotopy theory to univalent foundations
简介 - 从类型论和同伦论到单价基础
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Nicola Gambino其他文献

Kripke-Joyal forcing for type theory and uniform fibrations
  • DOI：
    10.1007/s00029-024-00962-2
  • 发表时间：
    2024-07-31
  • 期刊：
    Selecta Mathematica-New Series
  • 影响因子：
    1.200
  • 作者：
    Steve Awodey;Nicola Gambino;Sina Hazratpour
  • 通讯作者：
    Sina Hazratpour

Nicola Gambino的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Nicola Gambino', 18)}}的其他基金

Monoidal bicategories, linear logic and operads
幺半群二范畴、线性逻辑和操作数
  • 批准号：
    EP/V002325/2
  • 财政年份：
    2022
  • 资助金额：
    $ 11.87万
  • 项目类别：
    Research Grant
Monoidal bicategories, linear logic and operads
幺半群二范畴、线性逻辑和操作数
  • 批准号：
    EP/V002325/1
  • 财政年份：
    2021
  • 资助金额：
    $ 11.87万
  • 项目类别：
    Research Grant

相似国自然基金

铋基邻近双金属位点Type B异质结光热催化合成氨机制研究
  • 批准号：
  • 批准年份：
    2024
  • 资助金额：
    30.0 万元
  • 项目类别：
    省市级项目
智能型Type-I光敏分子构效设计及其抗耐药性感染研究
  • 批准号：
    22207024
  • 批准年份：
    2022
  • 资助金额：
    20 万元
  • 项目类别：
    青年科学基金项目
TypeⅠR-M系统在碳青霉烯耐药肺炎克雷伯菌流行中的作用机制研究
  • 批准号：
  • 批准年份：
    2021
  • 资助金额：
    55 万元
  • 项目类别：
    面上项目
替加环素耐药基因 tet(A) type 1 变异体在碳青霉烯耐药肺炎克雷伯菌中的流行、进化和传播
  • 批准号：
    LY22H200001
  • 批准年份：
    2021
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
面向手性α-氨基酰胺药物的新型不对称Ugi-type 反应开发
  • 批准号：
    LY22B020003
  • 批准年份：
    2021
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
BMP9/BMP type I receptors 通过激活 PPARα保护心肌梗死的机制研究
  • 批准号：
    LQ22H020003
  • 批准年份：
    2021
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
C2H2-type锌指蛋白在香菇采后组织软化进程中的作用机制研究
  • 批准号：
    32102053
  • 批准年份：
    2021
  • 资助金额：
    30 万元
  • 项目类别：
    青年科学基金项目
血管阻断型Type-I光敏剂合成及其三阴性乳腺癌光诊疗
  • 批准号：
    62120106002
  • 批准年份：
    2021
  • 资助金额：
    255 万元
  • 项目类别：
    国际(地区)合作与交流项目
Chichibabin-type偶联反应在构建联氮杂芳烃中的应用
  • 批准号：
  • 批准年份：
    2020
  • 资助金额：
    63 万元
  • 项目类别：
    面上项目
茶尺蠖Type-II环氧性信息素合成酶关键基因的鉴定及功能研究
  • 批准号：
    LQ21C140001
  • 批准年份：
    2020
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目

相似海外基金

Conference: Student Support for Second International Conference on Homotopy Type Theory (HoTT 2023)
会议：第二届同伦类型理论国际会议 (HoTT 2023) 的学生支持
  • 批准号：
    2318492
  • 财政年份：
    2023
  • 资助金额：
    $ 11.87万
  • 项目类别：
    Standard Grant
[infinite]-Lie Groups and Their [infinite]-Lie Algebras in Real Cohesive Homotopy Type Theory
实内聚同伦型理论中的[无穷]-李群及其[无穷]-李代数
  • 批准号：
    2888102
  • 财政年份：
    2023
  • 资助金额：
    $ 11.87万
  • 项目类别：
    Studentship
Homotopy theory, homotopy type theory and higher topos theory
同伦理论、同伦类型理论和更高层次的拓扑理论
  • 批准号：
    RGPIN-2022-04739
  • 财政年份：
    2022
  • 资助金额：
    $ 11.87万
  • 项目类别：
    Discovery Grants Program - Individual
Homological algebra in homotopy type theory
同伦型理论中的同调代数
  • 批准号：
    574650-2022
  • 财政年份：
    2022
  • 资助金额：
    $ 11.87万
  • 项目类别：
    University Undergraduate Student Research Awards
Homotopy Type Theory, Higher Category Theory
同伦类型论、高范畴论
  • 批准号：
    2431961
  • 财政年份：
    2020
  • 资助金额：
    $ 11.87万
  • 项目类别：
    Studentship
Homotopy Type Theory in Game Semantics
游戏语义中的同伦类型论
  • 批准号：
    2218874
  • 财政年份：
    2019
  • 资助金额：
    $ 11.87万
  • 项目类别：
    Studentship
Summer School on Homotopy Type Theory 2019
同伦类型论暑期学校 2019
  • 批准号：
    1912896
  • 财政年份：
    2019
  • 资助金额：
    $ 11.87万
  • 项目类别：
    Standard Grant
Homotopy Type Theory
同伦型理论
  • 批准号：
    2119809
  • 财政年份：
    2018
  • 资助金额：
    $ 11.87万
  • 项目类别：
    Studentship
Research on homotopy type theory using simplicial methods
用单纯法研究同伦型理论
  • 批准号：
    17J06609
  • 财政年份：
    2017
  • 资助金额：
    $ 11.87万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
Homotopy Type Theory: Programming and Verification
同伦类型理论：编程与验证
  • 批准号：
    EP/M016994/1
  • 财政年份：
    2015
  • 资助金额：
    $ 11.87万
  • 项目类别：
    Research Grant
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了