Conference Paper Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence

松田, 直祐  ,  Matsuda, Naosuke

2016-03
Full-Text

http://t2r2.star.titech.ac.jp/rrws/file/CTT100708755/ATD100000413/result_13D37072.pdf

Number of accesses :  

Other information