Kyoto University · Research Institute for Mathematical Sciences · 助手

Research keywordsType Theory・論理学・型理論・Logic

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

• MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics.2018 · 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK,
• Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule..2016 · 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal,
• Intersection Types for Normalization and Verification (Invited Talk).2013 · IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India,
• Infinitary Completeness in Ludics2010 · 25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010),

• 線形論理の基づく関数型プログラムの計算量制御
• Studies on computational complexity in functional programming based on linear logic
• 構成的論理・関数型プログラミングにおける計算量の研究
• カット除去定理の意味論的研究

• Official profile