「型理論」に関するサイレントキーワード「ポリモルフィズム」が含まれる科研費採択研究1件

【研究名】ポリモルフィズムの数学的構造
【研究代表者】長谷川 立  東京大学   大学院・数理科学研究科   助教授 	https://nrid.nii.ac.jp/ja/nrid/1000020243107/