「型理論」に関するサイレントキーワード「自然言語推論」が含まれる科研費採択研究2件

【研究名】証明論と型理論に基づく自然言語の形式意味論の新しい枠組み
【研究代表者】峯島 宏次  慶應義塾大学   文学部(三田)   准教授 	https://nrid.nii.ac.jp/ja/nrid/1000080725739/	
【研究名】証明論と図形論理の手法に基づく自然言語推論の統合的分析
【研究代表者】峯島 宏次  慶應義塾大学   文学部(三田)   准教授 	https://nrid.nii.ac.jp/ja/nrid/1000080725739/