@inproceedings{CTT100836863,
  author = {鹿島亮},
  title = {ラムダ計算の単純型付け体系の完全性について},
  booktitle = {日本数学会2019年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト},
  year = 2019,
}

@inproceedings{CTT100818802,
  author = {高木研斗 and 鹿島亮},
  title = {狭義単項二階述語論理の完全性について},
  booktitle = {日本数学会2019年度年会 数学基礎論および歴史分科会講演アブストラクト},
  year = 2019,
}

@misc{CTT100818803,
  author = {Kento Takagi and Ryo Kashima},
  title = {On the Completeness and the Decidability of Strictly Monadic Second-Order Logic},
  year = 2019,
}