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

【研究名】型理論の意味論と文法的性質の関係
【研究代表者】桜井 貴文  千葉大学   理学部   助教授 	https://nrid.nii.ac.jp/ja/nrid/1000060183373/	 
【研究分担者】
山本 光晴  千葉大学  理学部  助手  	https://nrid.nii.ac.jp/ja/nrid/1000000291295/	
古森 雄一  千葉大学  理学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000010022302/	
辻 尚史  千葉大学  理学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000070016666/	
西崎 真也  東京工業大学  大学院・情報理工学研究科  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000090263615/	
腰越 秀之  千葉大学  工学部  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000070110294/