hondana.org
本を探す

 

Scrapbox
書籍追加 | 本棚情報変更 | 名前変更/本棚削除 | ヘルプ | ランダム

Fms

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)
Andrea Asperti Giuseppe Longo
The MIT Press
ISBN: 0262011255　 紀伊國屋, Amazon, WebCat
カテゴリ
評　　価
コメント
Calculi : PDF available from: http://www.di.ens.fr/users/longo/download.html
他の本棚
最終更新 : 2005-05-07 22:49:52 +0900
カテゴリ
評　　価
コメント
Fms