「証明論」に関するサイレントキーワード「(強)停止性」が含まれる科研費採択研究1件

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