Okugawa’s Master Thesis and Tanabe&Izawa’s Bachelor Theses
Ryo Okugawa presented his Master’s thesis.
- 証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究 (PDF)
Yudai Tanabe and Yusuke Izawa presented their Bachelor’s theses.
Ryo Okugawa presented his Master’s thesis.
Yudai Tanabe and Yusuke Izawa presented their Bachelor’s theses.