会議発表論文 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/CTT100708755/ATD100000413/result_13D37072.pdf

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

その他の情報