Posted on

Vasco Vasconcelos先生の講演会

リスボン大学のVasco T. Vasconcelos先生が、当研究室に訪問くださり、講演していただけることになりました。 日時:12/11(月)11:00〜 場所:大分大学旦野原キャンパス 理工6号館2階会議室 タイトル:FreeST and the Higher-order Polymorphic Lambda Calculus