"Ryo Kashima,Naosuke Matsuda,Takao Yuyama","Term-Space Semantics of Typed Lambda Calculus",,"Notre Dame Journal of Formal Logic Volume 61, Number 4, 2020",,"Vol. 61","No. 4","pp. 591-600",2020,Nov.
"Kento Takagi,Ryo Kashima","On the completeness and the decidability of strictly monadic second]order logic",,"Mathematical Logic Quarterly",,"Vol. 66","No. 4","pp. 438-447",2020,