理論計算機科学と圏論ワークショップ
Workshop on Computer Science and Category Theory
CSCAT 2010
プログラム/Program

3月18日 5階 第3演習室/18th Mar at Ensyushitsu 3

3月19日 2階 第2会議室 / 19th Mar at Kaigishitsu 2

2010/3/16