Translation from Classical to Intuitionistic Logic
Translation from Classical to Intuitionistic Logic
从古典逻辑到直觉逻辑的翻译
批准号：
24650002
负责人：
SAKURAI Takafumi
金额：
$1.58万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
A Translation of Intersection and Union Types for the λμ-Calculus
λμ-微积分的交集和并集类型的转换
λμ-微积分的交集和并集类型的转换
DOI：
10.1007/978-3-319-12736-1_7
发表时间：
2014
期刊：
Lecture Note in Computer Science (Proceedings of 12th Asian Symposium on Programming Languages and Systems)
影响因子：
--
作者：
[K. Kikuchi, T. Sakurai]
通讯作者：
T. Sakurai
Viewing λ-terms through Maps
通过地图查看 λ 项
通过地图查看 λ 项
DOI：
10.1016/j.indag.2013.08.003
发表时间：
2013
期刊：
Indagationes Mathematicae
影响因子：
--
作者：
[M. Sato, R. Pollack, H. Schwichtenberg, T. Sakurai]
通讯作者：
T. Sakurai
Relation between Semantics of Logical System and its Syntactic Properties
-
批准号：12680329
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$0.58万
-
财政年份：2000
-
负责人：SAKURAI Takafumi
-
依托单位：
Relation between Semantics of Type Theory and its Syntactic Properties
-
批准号：10680334
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$1.47万
-
财政年份：1998
-
负责人：SAKURAI Takafumi
-
依托单位：
海外基金
