|
Publication List - Naosuke Matsuda (5 entries)
Journal Paper
-
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.
Degree
-
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,
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|