On decidability and undecidability of type-related problems of lambda-calculi
On decidability and undecidability of type-related problems of lambda-calculi
关于 lambda 演算类型相关问题的可判定性和不可判定性
批准号：
25400192
负责人：
Fujita Ken-etsu
金额：
$3.24万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
On Upper Bounds on the Church-Rosser Theorem
论丘奇-罗瑟定理的上界
论丘奇-罗瑟定理的上界
DOI：
10.4204/eptcs.235.2
发表时间：
2017
期刊：
Electronic Proceedings in Theoretical Computer Science
影响因子：
--
作者：
[Y. Saiki, M. F. Sanjuan and J. A. Yorke, 倉田 俊彦, 齋藤三郎，奥村博，松浦勉, 川北素子, K. Fujita]
通讯作者：
K. Fujita
On styles of lambda2-terms
关于 lambda2 项的样式
关于 lambda2 项的样式
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[上里 友弥, 南出 靖彦, Zhi-Zhong Chen, K. Fujita]
通讯作者：
K. Fujita
置換簡約を含むラムダ計算の合流性
lambda 演算的汇合，包括置换约简
lambda 演算的汇合，包括置换约简
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[中澤 巧爾, 藤田 憲悦]
通讯作者：
藤田 憲悦
A note on subject reduction in (->, E)-Curry with respect to complete developments
关于 (->, E)-Curry 中关于完整开发的主题减少的说明
关于 (->, E)-Curry 中关于完整开发的主题减少的说明
DOI：
10.1016/j.ipl.2013.07.027
发表时间：
2014
期刊：
Information Processing Letters
影响因子：
0.5
作者：
[A. Scuhbert and K. Fujita]
通讯作者：
A. Scuhbert and K. Fujita
Conference, Workshop, Meeting
会议、研讨会、会议
会议、研讨会、会议
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
共 29 条