本棚.org

コンピュータサイエンス入門〈1〉アルゴリズムとプログラミング言語 (大堀淳, ジャックガリグ, 西村進 / 岩波書店)
/prime_no_132nd/4000061909 ( / )
Types and Programming Languages (Benjamin C. Pierce / The MIT Press)
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) (A. S. Troelstra, H. Schwichtenberg / Cambridge University Press)
Basic Category Theory for Computer Scientists (Foundations of Computing) (Benjamin C. Pierce / The MIT Press)
プログラム意味論 (情報数学講座) (横内寛文 / 共立出版)
情報科学における論理 (情報数学セミナー) (小野寛晰 / 日本評論社)
Model Checking (Edmund M. Clarke Jr., Orna Grumberg, Doron Peled / The MIT Press)
A Shorter Model Theory (Wilfrid Hodges / Cambridge University Press)
Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science) (Terese / Cambridge University Press)
The Pi-Calculus: A Theory of Mobile Processes (Davide Sangiorgi, David Walker / Cambridge University Press)
Communicating and Mobile Systems: The Pi Calculus (Robin Milner / Cambridge University Press)
Formal Concept Analysis: Mathematical Foundations (Bernhard Ganter, Rudolf Wille / Springer)
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science) (Roberto M. Amadio, Pierre-Louis Curien / Cambridge University Press)
Topology via Logic (Cambridge Tracts in Theoretical Computer Science) (Steven Vickers / Cambridge University Press)
Introduction to Lattices and Order (B. A. Davey, H. A. Priestley / Cambridge University Press)
Categories for Types (Cambridge Mathematical Textbooks) (Roy L. Crole / Cambridge University Press)
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) (J. Lambek, P. J. Scott / Cambridge University Press)
Modal Logic (Cambridge Tracts in Theoretical Computer Science) (Patrick Blackburn, Maarten de Rijke, Yde Venema / Cambridge University Press)

prime_no_132ndの本棚