Computation-Theoretic Approach to Types and Proofs
Computation-Theoretic Approach to Types and Proofs
类型和证明的计算理论方法
批准号：
09640248
负责人：
TAKAHASHI-HORAI Masako
金额：
$1.15万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
1997
资助国家：
日本
项目状态：
已结题
起止时间：
1997 至 1999
中文摘要
翻译
结果表明，当引入高阶类型理论λPREDω时，高阶直觉逻辑与构造演算之间的Curry-Howard同构可以得到更好的表述.还研究了函数在自由结构上相对于简单类型系统的可表示性，以及递归函数在自由结构上的概念。
英文摘要
It is shown that the Curry-Howard isomorphism between higher-order intuitionistic logic and Calculus of Constructions can be better formulated when a modified version of higher-order type theory λPREDω is introduced. Also studied are the lambda-representability of functions over free structures with respect to the simple type system, as well as the notion of recursive functions over free-structures.
期刊论文(20)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Masako Takahashi: "Lambda-representble functions over term algebras"Int. J. of Foundations of Computer Science. (to appear).
Masako Takahashi：“Lambda 可表示的代数函数”Int。
Masako Takahashi：“Lambda 可表示的代数函数”Int。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Roger Hindley: "Simple Type Theory"University of Wales Swansea. 139 (1999)
Roger Hindley：“简单类型理论”威尔士斯旺西大学。
Roger Hindley：“简单类型理论”威尔士斯旺西大学。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Roger Hindley: "Foundations and Logic - Godel's Theorem and the Consistency of Number Theory"University of Wales Swansea. 155 (1999)
Roger Hindley：“基础与逻辑 - 哥德尔定理和数论的一致性”威尔士斯旺西大学。
Roger Hindley：“基础与逻辑 - 哥德尔定理和数论的一致性”威尔士斯旺西大学。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
M. Dezani-Ciancaglini et al.: "Intersection types, λ-models, and Bohm trees"Theories of Types and Proofs(MSJ-Memoirs). 45-97 (1998)
M. Dezani-Ciancaglini 等人：“交叉类型、λ 模型和博姆树”类型和证明理论（MSJ-Memoirs）45-97（1998）。
M. Dezani-Ciancaglini 等人：“交叉类型、λ 模型和博姆树”类型和证明理论（MSJ-Memoirs）45-97（1998）。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Masako Takahashi et al.: "Theories of Types and Proofs(MSJ-Memoirs)"日本数学会. 259 (1998)
Masako Takahashi 等人：“类型和证明的理论（MSJ-Memoirs）”日本数学会 259（1998）。
Masako Takahashi 等人：“类型和证明的理论（MSJ-Memoirs）”日本数学会 259（1998）。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
共 20 条