@inproceedings{CTT100846457,
  author = {外丸真一 and 鹿島亮},
  title = {ラムダ計算の2階型付け体系の完全性について},
  booktitle = {日本数学会 2021年度年会 数学基礎論および歴史分科会 講演アブストラクト},
  year = 2021,
}