照井一成Kazushige Terui

京都大学 · 数理解析研究所 · 助手

留学神社

基本情報

京都大学 · 数理解析研究所 · 助手

研究キーワードType Theory・論理学・型理論・Logic

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

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),

次の一歩

個別の適合理由、連絡角度、保存機能はログイン後に利用できます。