論文

• 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, Nov. 2020.

学位論文

• Computation Theory and Abstract Algebra,  Thesis,  Doctor (Science),  Tokyo Institute of Technology,  2023/03/26,   
• Computation Theory and Abstract Algebra,  論文要旨,  Doctor (Science),  Tokyo Institute of Technology,  2023/03/26,   
• Computation Theory and Abstract Algebra,  Exam Summary,  Doctor (Science),  Tokyo Institute of Technology,  2023/03/26,   

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]