Thesis or Dissertation 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/CTT100701339/ATD100000413/summary_13D37072_松田直祐.pdf

Number of accesses :  

Other information