|
|
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
|
| カテゴリ |
|
| 評 価 |
|
| コメント |
|
|
|
 大崎公園
披露山公園
源氏山公園
しおさい公園
城ヶ島公園
 真鶴
逗子
熱海
下田
伊東
|
