学研の興味

Thursday, 10 July 2008 13:12

View Comments 圏論 Coalgebra and Coalgebraic (Modal) Logic Generic Trace Theory Coalgebraic Automata Theory 様相論理学と直観論理 グラフ理論 場の量子論 型理論 Nominal Calculi blog comments powered by Disqus back to top

LAST_UPDATED2