On decidability and undecidability of type-related problems of lambda-calculi

关于 lambda 演算类型相关问题的可判定性和不可判定性

• 批准号: 25400192
• 负责人: Fujita Ken-etsu
• 金额: $ 3.24万
• 依托单位: Gunma University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2013
• 资助国家: 日本
• 起止时间: 2013-04-01 至 2017-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25400192/
• 关键词: ラムダ計算; 型検査問題; 型推論問題; 決定可能性; チャーチ流; カリー流; チャーチ・ロッサーの定理; 型検査; 型推論; 合流性

项目成果

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 项的样式

• 发表时间: 2014
• 作者: 上里 友弥;南出 靖彦;Zhi-Zhong Chen;K. Fujita
• 通讯作者: K. Fujita

置換簡約を含むラムダ計算の合流性

lambda 演算的汇合，包括置换约简

• 发表时间: 2015
• 作者: 中澤 巧爾;藤田 憲悦
• 通讯作者: 藤田 憲悦

A note on subject reduction in (->, E)-Curry with respect to complete developments

关于 (->, E)-Curry 中关于完整开发的主题减少的说明

• DOI: 10.1016/j.ipl.2013.07.027
• 发表时间: 2014
• 期刊: Information Processing Letters
• 影响因子: 0.5
• 作者: A. Scuhbert and K. Fujita

Conference, Workshop, Meeting

会议、研讨会、会议