「型理論」に関するサイレントキーワード「圏論」が含まれる科研費採択研究1件

【研究名】リニアカテゴリ上の計算体系の性質の研究
【研究代表者】長谷川 立  東京大学   大学院・数理科学研究科   准教授 	https://nrid.nii.ac.jp/ja/nrid/1000020243107/	 
【研究分担者】
外山 芳人  東北大学  電気通信研究所  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000251968/	
【研究連携者】     
外山 芳人  東北大学  電気通信研究所  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000251968/