講演・口頭発表等

2019年8月23日

Different provability between Martin-Lof's inductive definitions and cyclic proofs


記述言語
英語
会議種別
口頭発表(一般)