「証明論」に関するサイレントキーワード「タイプ理論」が含まれる科研費採択研究3件

【研究名】タイプ理論と線形理論のプログラム言語理論への応用
【研究代表者】岡田 光弘  慶応義塾大学   文学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	 
【研究分担者】
萩谷 雅己 (萩谷 昌己)  東京大学  大学院・理学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000030156252/	
米澤 昭憲 (米澤 明憲)  東京大学  大学院・理学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000133116/	
林 晋  神戸大学  工学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000040156443/	
大堀 淳  京都大学  数理解析研究所  教授  	https://nrid.nii.ac.jp/ja/nrid/1000060252532/	
高橋 正子  東京工業大学  理学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000015588/	

【研究名】論理学的手法を用いたプログラミング言語の理論
【研究代表者】岡田 光弘  慶応義塾大学   文学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	
【研究名】論理学のプログラム言語理論への応用
【研究代表者】岡田 光弘  慶應義塾大学   文学部   助教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/