hondana.org
本を探す

 

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

(3/26)冊
Fms
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)
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
評価:
カテゴリ:
コメント: PDF available from: http://www.di.ens.fr/users/longo/download.html
関連本棚: Calculi
Fms
A Theory of Objects (Monographs in Computer Science)
A Theory of Objects (Monographs in Computer Science)
著者: Martin Abadi, Luca Cardelli
出版社: Springer
評価:
カテゴリ:
コメント:
関連本棚: Calculi
Fms
Theoretical Aspects of Computer Software: Third International Symposium, Tacs '97, Sendai, Japan, September 23-26, 1997 : Proceedings (Lecture Notes in Computer Science)
Theoretical Aspects of Computer Software: Third International Symposium, Tacs '97, Sendai, Japan, September 23-26, 1997 : Proceedings (Lecture Notes in Computer Science)
著者:
出版社: Springer
評価:
カテゴリ:
コメント:
関連本棚: Calculi
Fms
Categories for the Working Mathematician (Graduate Texts in Mathematics)
Categories for the Working Mathematician (Graduate Texts in Mathematics)
著者: Saunders Mac Lane
出版社: Springer
評価:
カテゴリ:
コメント:
関連本棚: spi Calculi hogawara
Fms
Basic Category Theory for Computer Scientists (Foundations of Computing)
Basic Category Theory for Computer Scientists (Foundations of Computing)
著者: Benjamin C. Pierce
出版社: The MIT Press
評価:
カテゴリ:
コメント:
関連本棚: spi tanaka kmt-t りんごスプーン prime_no_132nd Felio Calculi minkewhale agusaLab kuwa
Fms
Implementation of Functional Programming Language (Prentice Hall Series in Computer Science)
Implementation of Functional Programming Language (Prentice Hall Series in Computer Science)
著者: Simon L.Peyton Jones
出版社: Prentice-Hall
評価:
カテゴリ:
コメント: Available scan image from: http://research.microsoft.com/Users/simonpj/papers/slpj-book-1987/
関連本棚: Calculi
Fms