りんごスプーンの本棚
(0/11)冊
- 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)
- The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing) (Glynn Winskel / The MIT Press)
- Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations) (Masahito Hasegawa / Springer)
- 数理論理学 (コンピュータ数学シリーズ) (林 晋 / コロナ社)
- Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) (Yves Bertot, Pierre Castéran / Springer)
- Computability and Complexity: From a Programming Perspective (Foundations of Computing) (Neil Deaton Jones / The MIT Press)
- Types and Programming Languages (Benjamin C. Pierce / The MIT Press)
- Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) (Carl A. Gunter / The MIT Press)
- Categories for the Working Mathematician (S. MacLane / Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
- Basic Category Theory for Computer Scientists (Foundations of Computing) (Benjamin C. Pierce / The MIT Press)