Entries

スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
この記事にトラックバックする(FC2ブログユーザー)
http://exphenomenologist.blog100.fc2.com/tb.php/446-75992e73

トラックバック

コメント

コメントの投稿

コメントの投稿
管理者にだけ表示を許可する

Peter Aczel "Non-Well-Founded Sets"

Non-Well-Founded Sets (Csli Lecture Notes, No 14)Non-Well-Founded Sets (Csli Lecture Notes, No 14)
(1988/06)
Peter Aczel

商品詳細を見る

人と話していて話題に上がったので、かなり久しぶりに読んでみた。結局これを集合と呼びたい気持ちはよく分からない。集合そのものの構築原理から理論を立てるのではなく、有向グラフに対応するものとして導入される。そもそもAFAの導入の背景はbisimulationなどむしろプロセス代数やカテゴリーの方にあるようだ。
スポンサーサイト
この記事にトラックバックする(FC2ブログユーザー)
http://exphenomenologist.blog100.fc2.com/tb.php/446-75992e73

トラックバック

コメント

コメントの投稿

コメントの投稿
管理者にだけ表示を許可する

上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。