"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.
"Naosuke Matsuda","Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence",,,,,,,2016,Mar.
"Naosuke Matsuda","Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence",,,,,,,2016,Mar.
"Naosuke Matsuda","Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence",,,,,,,2016,Mar.
"Ken-Etsu Fujita,Ryo Kashima,Yuichi Komori,Naosuke Matsuda","Reduction Rules for Intuitionistic ƒÉƒÏ-calculus",,"Studia Logica",,"Vol. 103","No. 6","pp. 1225-1244",2015,