学位論文 Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence

松田, 直祐  ,  Matsuda, Naosuke

2016-03
本文を読む

http://t2r2.star.titech.ac.jp/rrws/file/CTT100701339/ATD100000413/summary_13D37072_松田直祐.pdf

このアイテムのアクセス数:  回

その他の情報