课题基金 / 基金详情

Sheaf structure in higher-order computaton and logic

Sheaf structure in higher-order computaton and logic
高阶计算和逻辑中的层结构
批准号：
24500025
负责人：
KURATA Toshihiko
金额：
$3.0万
依托单位：
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戦略

项目摘要

项目成果

KURATA Toshihiko的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
On styles of lambda2-terms --extended abstract--
关于 lambda2-terms 的样式 -- 扩展摘要 --
DOI： --
发表时间： 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 中关于完整发展的主题减少的注释
DOI： --
发表时间： 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 项之间的精细结构
DOI： --
发表时间： 2013
期刊： 京都大学数理解析研究所講究録 （RIMS共同研究　証明論と複雑性）
影响因子： --
作者： [加賀江 優幸, 南出 靖彦, 藤田憲悦]
通讯作者： 藤田憲悦
共 21 条
    Mathematical semantics of the internal structure of algorithms
    • 批准号：
      19700012
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.01万
    • 财政年份：
      2007
    • 负责人：
      KURATA Toshihiko
    • 依托单位：
      Hosei University
    Energy of knots (existence of energy minimizers and numerical experiment)
    • 批准号：
      10640085
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $1.79万
    • 财政年份：
      1998
    • 负责人：
      KURATA Toshihiko
    • 依托单位：
      Tokyo Metropolitan University