リスボン大学のVasco T. Vasconcelos先生が、当研究室に訪問くださり、講演していただけることになりました。

• 日時：12/11（月）11:00〜
• 場所：大分大学旦野原キャンパス　理工6号館2階会議室
• タイトル：FreeST and the Higher-order Polymorphic Lambda Calculus