りんごスプーンの本棚
(15/0)冊
- 入門OCaml ~プログラミング基礎と実践理解~ (OCaml-Nagoya / 毎日コミュニケーションズ)
- Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions (Texts in Theoretical Computer Science. An Eatcs Series) (Yves Bertot, Pierre CastTran / Springer)
- プログラム検証論 (情報数学講座) (林 晋 / 共立出版)
- 数理論理学 (コンピュータ数学シリーズ) (林 晋 / コロナ社)
- Categories for the Working Mathematician (S. MacLane / Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
- The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing) (Glynn Winskel / The MIT Press)
- Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) (Carl A. Gunter / The MIT Press)
- Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations) (Masahito Hasegawa / Springer)
- Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics) (B. Jacobs / Elsevier Science)
- Categories for Types (Cambridge Mathematical Textbooks) (Roy L. Crole / Cambridge University Press)
- Types and Programming Languages (Benjamin C. Pierce / The MIT Press)
- Logic for Computer Science: Foundations of Automatic Theorem Proving (Jean H. Gallier / Longman Higher Education)
- Computability and Complexity: From a Programming Perspective (Foundations of Computing) (Neil Deaton Jones / The MIT Press)
- プログラミング言語の基礎理論 (情報数学講座) (大堀 淳 / 共立出版)
- Basic Category Theory for Computer Scientists (Foundations of Computing) (Benjamin C. Pierce / The MIT Press)