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