2008/05/09

鬆動的箭頭

我覺得我就快要抵達那個關鍵點,融合 category-theoretical、fixpoint-semantical、和 operational 三個面向而看透 induction 和 coinduction 了!

--
It must be exciting!

Labels:

<< 回到主頁