Tokyo Denki University · Faculty of Science and Engineering / Graduate School of Science and Engineering

Research keywordsプログラミング言語・Programming language logic semantics types・意味論・論理学・ラムダ計算・型理論・カリー・ハワード同型・T-代数

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• A category-like structure of reduction paths for parallel reduction
• Simple Models of Type Free λ µ-Calculus.
• Continuation Semantics and CPS-Translation of lambda-mu-Calculus
• 類似性に基づく証明

• 2025/04/01 ～ 2029/03/31 カリー・ハワード同型の深化による証明と計算の解析 基盤研究(C)2025 · 研究課題・受託研究・科研費
• 2023/04 ～ 2027/03 直観主義論理の推論に関する代数的特徴付けの精密化 基盤研究(C)2023 · 研究課題・受託研究・科研費
• 2020/04/01 ～ 2025/03/31 ゲーデルのシステムTと計算量的階層に関する研究 基盤研究(C)2020 · 研究課題・受託研究・科研費
• 2017/04/01 ～ 2021/03/31 簡約システムの存在定理に関する定量的性質の解明 基盤研究(C)2017 · 研究課題・受託研究・科研費

• Official profile