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