A Higher-Order Logical Framework for Reasoning about Programs and Programming Languages

用于推理程序和编程语言的高阶逻辑框架

基本信息

  • 批准号:
    481421-2015
  • 负责人:
  • 金额:
    $ 1.27万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Master's
  • 财政年份:
    2015
  • 资助国家:
    加拿大
  • 起止时间:
    2015-01-01 至 2016-12-31
  • 项目状态:
    已结题

项目摘要

No summary - Aucun sommaire
无摘要- Aucun sommaire

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

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

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ 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 }}

Battell, Chelsea其他文献

Battell, Chelsea的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Battell, Chelsea', 18)}}的其他基金

Quantification for Parametric Judgments used by Logical Frameworks in Coq
Coq 中逻辑框架使用的参数判断的量化
  • 批准号:
    504099-2017
  • 财政年份:
    2019
  • 资助金额:
    $ 1.27万
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Quantification for Parametric Judgments used by Logical Frameworks in Coq
Coq 中逻辑框架使用的参数判断的量化
  • 批准号:
    504099-2017
  • 财政年份:
    2018
  • 资助金额:
    $ 1.27万
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Quantification for Parametric Judgments used by Logical Frameworks in Coq
Coq 中逻辑框架使用的参数判断的量化
  • 批准号:
    504099-2017
  • 财政年份:
    2017
  • 资助金额:
    $ 1.27万
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral

相似国自然基金

基于Order的SIS/LWE变体问题及其应用
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    53 万元
  • 项目类别:
    面上项目
Poisson Order, Morita 理论,群作用及相关课题
  • 批准号:
    19ZR1434600
  • 批准年份:
    2019
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目

相似海外基金

CAREER: First-principles Predictive Understanding of Chemical Order in Complex Concentrated Alloys: Structures, Dynamics, and Defect Characteristics
职业:复杂浓缩合金中化学顺序的第一原理预测性理解:结构、动力学和缺陷特征
  • 批准号:
    2415119
  • 财政年份:
    2024
  • 资助金额:
    $ 1.27万
  • 项目类别:
    Continuing Grant
Conference: North American High Order Methods Con (NAHOMCon)
会议:北美高阶方法大会 (NAHOMCon)
  • 批准号:
    2333724
  • 财政年份:
    2024
  • 资助金额:
    $ 1.27万
  • 项目类别:
    Standard Grant
Model order reduction for fast phase-field fracture simulations
快速相场断裂模拟的模型降阶
  • 批准号:
    EP/Y002474/1
  • 财政年份:
    2024
  • 资助金额:
    $ 1.27万
  • 项目类别:
    Research Grant
CAREER: Multiscale Reduced Order Modeling and Design to Elucidate the Microstructure-Property-Performance Relationship of Hybrid Composite Materials
职业:通过多尺度降阶建模和设计来阐明混合复合材料的微观结构-性能-性能关系
  • 批准号:
    2341000
  • 财政年份:
    2024
  • 资助金额:
    $ 1.27万
  • 项目类别:
    Standard Grant
CRII: OAC: Dynamically Adaptive Unstructured Mesh Technologies for High-Order Multiscale Fluid Dynamics Simulations
CRII:OAC:用于高阶多尺度流体动力学仿真的动态自适应非结构​​化网格技术
  • 批准号:
    2348394
  • 财政年份:
    2024
  • 资助金额:
    $ 1.27万
  • 项目类别:
    Standard Grant
Collaborative Research: Dynamics of Short Range Order in Multi-Principal Element Alloys
合作研究:多主元合金中的短程有序动力学
  • 批准号:
    2348956
  • 财政年份:
    2024
  • 资助金额:
    $ 1.27万
  • 项目类别:
    Standard Grant
Congestion control in complex networks with higher-order interactions
具有高阶交互的复杂网络中的拥塞控制
  • 批准号:
    DP240100963
  • 财政年份:
    2024
  • 资助金额:
    $ 1.27万
  • 项目类别:
    Discovery Projects
RII Track-4:NSF: Continental-scale, high-order, high-spatial-resolution, ice flow modeling based on graphics processing units (GPUs)
RII Track-4:NSF:基于图形处理单元 (GPU) 的大陆尺度、高阶、高空间分辨率冰流建模
  • 批准号:
    2327095
  • 财政年份:
    2024
  • 资助金额:
    $ 1.27万
  • 项目类别:
    Standard Grant
Collaborative Research: Dynamics of Short Range Order in Multi-Principal Element Alloys
合作研究:多主元合金中的短程有序动力学
  • 批准号:
    2348955
  • 财政年份:
    2024
  • 资助金额:
    $ 1.27万
  • 项目类别:
    Standard Grant
MCA: Problem-Based Learning for Warehousing and Order Fulfillment
MCA:基于问题的仓储和订单履行学习
  • 批准号:
    2322250
  • 财政年份:
    2024
  • 资助金额:
    $ 1.27万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了