pi8027さんのページ 復刊リクエスト投票 プログラミング言語の基礎理論 【著者】大堀淳 単一化アルゴリズムの停止性について調べる上で、とても役に立ちました。素晴らしい本であるというのはほぼ間違い無いので、手元に一冊欲しいです。(2011/10/11) 圏論の基礎 【著者】S・マックレーン 和書としては、圏論について一番良くまとまっている本だという事は間違い無いでしょう。欲しいです。(2011/07/25)
復刊リクエスト投票
プログラミング言語の基礎理論
【著者】大堀淳
圏論の基礎
【著者】S・マックレーン