プログラミング言語⇔位相⇔論理学⇔圏論⇔プログラミング言語

リスト作成者のコメント:
	"位相について知っておく。とても丁寧でわかりやすい。"

リスト作成者のコメント:
	"圏論への第一歩。内容は易しい。少し特殊な構成で若干読みづらい。"

リスト作成者のコメント:
	"そんなに易しくない。↑と↓を読めば、これは読む必要ないかも。"

リスト作成者のコメント:
	"圏論と論理学を結ぶ。随伴関手の図説がわかりやすい。圏論入門としても使える。論理学については印象に残らなかったり。"

リスト作成者のコメント:
	"圏論とプログラミング言語を結ぶ。位相とプログラミング言語の関連についても若干。"

リスト作成者のコメント:
	"圏論とプログラミング言語を結ぶ。横内本より詳細に。位相とプログラミング言語の関連についても若干。chap. 5,8,10,11の難易度が高い。errataはftp://ftp.cis.upenn.edu/pub/papers/gunter/SPL_errata.*"

リスト作成者のコメント:
	"位相と論理学を結ぶ。講義用のノートのようで、説明があまり丁寧ではない。"