"外丸真一,鹿島亮","ラムダ計算の2階型付け体系の完全性について","日本数学会 2021年度年会","日本数学会 2021年度年会 数学基礎論および歴史分科会 講演アブストラクト",,,,"pp. 7-8",2021,Mar.