Home >

news ヘルプ

論文・著書情報


タイトル
和文: 
英文:Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence 
著者
和文: 松田直祐.  
英文: Naosuke Matsuda.  
種別
種別:学位論文(博士) 
国名:Japan 
言語 English 
学位授与組織 Tokyo Institute of Technology 
報告番号 甲第10105号 
学位授与日 2016/03/26 
審査員  
ファイル   

©2007 Tokyo Institute of Technology All rights reserved.