Sheaf structure in higher-order computaton and logic

高阶计算和逻辑中的层结构

• 批准号: 24500025
• 负责人: KURATA Toshihiko
• 金额: $ 3万
• 依托单位: Hosei University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2012
• 资助国家: 日本
• 起止时间: 2012-04-01 至 2015-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24500025/
• 关键词: 分配具象領域; 高階逐次性; 層論; 分配具象領域の表現定理; 具象領域; 逐次アルゴリズム; 逆像層; ゲーム意味論; innocent戦略

项目成果

On styles of lambda2-terms --extended abstract--

关于 lambda2-terms 的样式 -- 扩展摘要 --

• 发表时间: 2015
• 期刊: 京都大学数理解析研究所講究録
• 作者: Ryuichi SHIBASAKI;Toshio AZUMA;Tomihiro WATANABE;and Shigeki TORIUMI;鳥海重喜;Zhi-Zhong Chen;K. Fujita
• 通讯作者: K. Fujita

An axiomatization of ECTL

ECTL 的公理化

• DOI: 10.1093/logcom/ext005
• 发表时间: 2014
• 期刊: Journal of Logic and Computation
• 影响因子: 0.7
• 作者: J. Jarvinen;M. Kondo;J. Mattila and S. Radeleczki;Zhi-Zhong Chen;Ryo Kashima
• 通讯作者: Ryo Kashima

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

关于 (→,∃)-Curry 中关于完整发展的主题减少的注释

• 发表时间: 2014
• 期刊: Information Processing Letters
• 影响因子: 0.5
• 作者: M.F. Kawaguchi;K. Minami and M. Kondo;Aleksy Schubert & Ken-etsu Fujita
• 通讯作者: Aleksy Schubert & Ken-etsu Fujita

On fine structures between Church-style and Curry-style λ2-terms

关于 Church 式和 Curry 式 λ2 项之间的精细结构

• 发表时间: 2013
• 期刊: 京都大学数理解析研究所講究録 （RIMS共同研究 証明論と複雑性）
• 作者: 加賀江 優幸;南出 靖彦;藤田憲悦
• 通讯作者: 藤田憲悦

時相論理CTL*やその部分体系の公理化について

关于时态逻辑CTL*及其子系统的公理化

• 作者: Shigeki TORIUMI;Keisuke INADA and Ryuta TAKASHIMA;倉田俊彦;M.Kondo;藤田憲悦;Daisuke WATANABE and Shigeki TORIUMI;M.Kondo;渡部大輔，永田康宏，鳥海重喜;Ken-etsu Fujita & Aleksy Schubert;鳥海重喜;鹿島亮，岩波克
• 通讯作者: 鹿島亮，岩波克