「証明論」に関するサイレントキーワード「関数型プログラミング言語」が含まれる科研費採択研究1件

【研究名】ジラールの線形論理とその情報科学への応用
【研究代表者】岡田 光弘  慶應義塾大学   文学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/