トップ «前の日記(2004-08-03) 最新 次の日記(2004-08-05)» 月表示 編集

日々の流転


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

Tags: 論文