2004-08-04 [長年日記]
λ. "Inductive, coinductive, and pointed types", Brian T. Howard
を読んだ。"Algebraically Bounded"とか、ちと良く知らない概念が出てきたので後で調べよう。
【2006-09-21追記】 algebraically bounded について、この論文では「inductive and coindutive types are canonically isomorphic」とちゃんと書いてあった。ってか以前に一回確認してるはずだが、今また確認しているのは何故だろうorz