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

Theory And Applications of Induction Recursion

归纳递归的理论与应用

基本信息

批准号：
EP/G03298X/1
负责人：
Thorsten Altenkirch
金额：
$ 13.59万
依托单位：
University of Nottingham
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2009
资助国家：
英国
起止时间：
2009 至无数据
项目状态：
已结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FG03298X%2F1
关键词：
Theory Applications Induction Recursion

项目摘要

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

项目成果

期刊论文数量（7）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Typed Lambda Calculi and Applications

类型化 Lambda 演算及其应用

DOI：
发表时间：
2013
期刊：
影响因子：
0
作者：
H. Aota;T. Fukunaga;H. Nagamochi;Masahito Hasegawa (ed.)
通讯作者：
Masahito Hasegawa (ed.)

NOTIONS OF ANONYMOUS EXISTENCE IN MARTIN-LOF TYPE THEORY

马丁-洛夫类型理论中匿名存在的概念

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

Higher-Order Containers

高阶容器

DOI：
发表时间：
期刊：
影响因子：
0
作者：
Thorsten Altenkirch (Author)
通讯作者：
Thorsten Altenkirch (Author)

A Syntactical Approach to Weak omega-Groupoids

弱 omega-Groupoid 的语法方法

DOI：
发表时间：
期刊：
影响因子：
0
作者：
Thorsten Altenkirch (Author)
通讯作者：
Thorsten Altenkirch (Author)

'Cyclic syndrome' of arrears and efficiency of Indian judiciary.

拖欠和印度司法效率的“循环综合症”。

DOI：
10.1007/978-3-319-42598-6_6
发表时间：
2023
期刊：
SN business & economics
影响因子：
0
作者：
Mishra S
通讯作者：
Mishra S

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