"Takao Yuyama","Computation Theory and Abstract Algebra",,,,,,,2023,Mar.
"Takao Yuyama","Computation Theory and Abstract Algebra",,,,,,,2023,Mar.
"Takao Yuyama","Computation Theory and Abstract Algebra",,,,,,,2023,Mar.
"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.