Calculiの本棚
(3/26)冊
- DNAコンピュータ ( / 培風館)
- プログラム検証論 (情報数学講座) (林 晋 / 共立出版)
- Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) (J. Lambek, P. J. Scott / Cambridge University Press)
- Categories for the Working Mathematician (Graduate Texts in Mathematics) (Saunders Mac Lane / Springer)
- Implementation of Functional Programming Language (Prentice Hall Series in Computer Science) (Simon L.Peyton Jones / Prentice-Hall)
- A Theory of Objects (Monographs in Computer Science) (Martin Abadi, Luca Cardelli / Springer)
- 計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) (高橋 正子 / 近代科学社)
- Theoretical Aspects of Computer Software: Third International Symposium, Tacs '97, Sendai, Japan, September 23-26, 1997 : Proceedings (Lecture Notes in Computer Science) ( / Springer)
- 情報代数 (情報数学講座) (小野 寛晰 / 共立出版)
- 論理・代数・データベース―知の工学の基礎 (ピーター グレイ / 産業図書)
- プログラム意味論 (情報数学講座) (横内 寛文 / 共立出版)
- Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) (B. Jacobs / Elsevier Science)
- 圏論の基礎 (S.マックレーン / シュプリンガー・フェアラーク東京)
- プログラミング言語の新潮流 (計算機科学・ソフトウェア技術講座) (井田 哲雄 / 共立出版)
- 構成的プログラミングの基礎 (林 晋, 小林 聡 / 遊星社)
- 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)
- 数理論理学 (コンピュータ数学シリーズ) (林 晋 / コロナ社)
- DNAコンピューティング―新しい計算パラダイム (G. パウン, A. サローマ, G. ローゼンバーグ / シュプリンガー・フェアラーク東京)
- 情報科学における論理 (情報数学セミナー) (小野 寛晰 / 日本評論社)
- 関数プログラミング〈2〉JSSST’94 (レクチャノートソフトウェア学) ( / 近代科学社)
- PX: A Computational Logic (Foundations of Computing) (Susumu Hayashi, Hiroshi Nakano / The MIT Press)
- プログラミング言語の基礎理論 (情報数学講座) (大堀 淳 / 共立出版)
- Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides) ( / Oxford Univ Pr on Demand)
- 自然言語・意味論・論理 (赤間 世紀 / 共立出版)
- 関数プログラミング JSSST’91 (レクチャーノート ソフトウェア学) ( / 近代科学社)
- Basic Category Theory for Computer Scientists (Foundations of Computing) (Benjamin C. Pierce / The MIT Press)