A small final coalgebra theorem - 九大コレクション

＜学術雑誌論文＞
A small final coalgebra theorem

作成者	著者識別子 K000169 作成者名 Kawahara, Yasuo 河原, 康雄所属機関所属機関名 Department of Informatics, Kyushu University 九州大学大学院システム情報科学研究院情報理学部門
作成者	著者識別子 K000173 作成者名 Mori, Masao 森, 雅生所属機関所属機関名 Department of Informatics, Kyushu University 九州大学大学院システム情報科学研究院情報理学部門
本文言語	英語
出版者	Elsevier
発行日	2000-02
収録物名	Theoretical Computer Science
巻	233
号	1/2
開始ページ	129
終了ページ	145
出版タイプ	Accepted Manuscript
アクセス権	open access
関連DOI	Theoretical Computer Science \|\| 233(1/2) \|\| p129-145
	http://hyoka-inf.ofc.kyushu-u.ac.jp/~mori/
	http://www.i.kyushu-u.ac.jp/~kawahara/
関連URI	Theoretical Computer Science \|\| 233(1/2) \|\| p129-145
	http://hyoka-inf.ofc.kyushu-u.ac.jp/~mori/
	http://www.i.kyushu-u.ac.jp/~kawahara/
関連情報	Theoretical Computer Science \|\| 233(1/2) \|\| p129-145
	http://hyoka-inf.ofc.kyushu-u.ac.jp/~mori/
	http://www.i.kyushu-u.ac.jp/~kawahara/
概要	This paper presents an elementary and self-contained proof of an existence theorem of final coalgebras for endofunctors on the category of sets and functions.

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
A_small_final_coalgebra_theorem	pdf	222 KB	339