論文

• 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.
• Ken-Etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda. Reduction Rules for Intuitionistic λρ-calculus, Studia Logica, Vol. 103, No. 6, pp. 1225-1244, 2015.

学位論文

• Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence,  Thesis,  Doctor (Science),  Tokyo Institute of Technology,  2016/03/26,   
• Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence,  Summary,  Doctor (Science),  Tokyo Institute of Technology,  2016/03/26,   
• Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence,  Exam Summary,  Doctor (Science),  Tokyo Institute of Technology,  2016/03/26,   

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