@article{CTT100846456,
  author = {Ryo Kashima and Naosuke Matsuda and Takao Yuyama},
  title = {Term-Space Semantics of Typed Lambda Calculus},
  journal = {Notre Dame Journal of Formal Logic Volume 61, Number 4, 2020},
  year = 2020,
}

@article{CTT100846452,
  author = {Kento Takagi and Ryo Kashima},
  title = {On the completeness and the decidability of strictly monadic second‐order logic},
  journal = {Mathematical Logic Quarterly},
  year = 2020,
}