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

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

Categories: 未分類