权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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
关键词：
Homotopy Type Theory Programming Verification

项目摘要

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）

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
期刊：
影响因子：
0
作者：
Altenkirch T
通讯作者：
Altenkirch T

Extending Homotopy Type Theory with Strict Equality

用严格等式扩展同伦型理论

DOI：
10.48550/arxiv.1604.03799
发表时间：
2016
期刊：
影响因子：
0
作者：
Altenkirch T
通讯作者：
Altenkirch T

Normalisation by evaluation for dependent types

通过评估依赖类型进行标准化

DOI：
10.4230/lipics.fscd.2016.6
发表时间：
2016
期刊：
Leibniz International Proceedings in Informatics, LIPIcs
影响因子：
0
作者：
Altenkirch T.
通讯作者：
Altenkirch T.

The Integers as a Higher Inductive Type

整数作为更高归纳类型

DOI：
10.1145/3373718.3394760
发表时间：
2020
期刊：
影响因子：
0
作者：
Altenkirch T
通讯作者：
Altenkirch T

NORMALISATION BY EVALUATION FOR TYPE THEORY, IN TYPE THEORY

类型理论中通过评估类型理论进行归一化

DOI：
10.23638/lmcs-13(4:1)2017
发表时间：
2017
期刊：
LOGICAL METHODS IN COMPUTER SCIENCE
影响因子：
0.6
作者：
Altenkirch Thorsten
通讯作者：
Altenkirch Thorsten

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

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Thorsten Altenkirch其他文献

Under Consideration for Publication in J. Functional Programming Big-step Normalisation

正在考虑在 J.FunctionalProgrammingBigstepNormalization 中发表

DOI：
发表时间：
期刊：
影响因子：
0
作者：
Thorsten Altenkirch;James Chapman
通讯作者：
James Chapman

Constructing Polymorphic Programs with Quotient Types

使用商类型构造多态程序

DOI：
发表时间：
2004
期刊：
International Conference on Mathematics of Program Construction
影响因子：
0
作者：
M. Abbott;Thorsten Altenkirch;Neil Ghani;Conor McBride
通讯作者：
Conor McBride

Termination Checking in the Presence of Nested Inductive and Coinductive Types

存在嵌套归纳和共归纳类型时的终止检查

DOI：
发表时间：
2010
期刊：
PAR@ITP
影响因子：
0
作者：
Thorsten Altenkirch;Nils Anders Danielsson
通讯作者：
Nils Anders Danielsson

Pure Functional Epidemics: An Agent-Based Approach

纯功能流行病：基于代理的方法

DOI：
发表时间：
2018
期刊：
International Symposium on Implementation and Application of Functional Languages
影响因子：
0
作者：
Jonathan Thaler;Thorsten Altenkirch;P. Siebers
通讯作者：
P. Siebers