hondana.org
本を探す

 

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

(0/11)冊
Fms
Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)
Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)
著者: B. Jacobs
出版社: Elsevier Science
評価:
カテゴリ:
コメント:
関連本棚: りんごスプーン
Fms
Categories for Types (Cambridge Mathematical Textbooks)
Categories for Types (Cambridge Mathematical Textbooks)
著者: Roy L. Crole
出版社: Cambridge University Press
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006 りんごスプーン prime_no_132nd agusaLab
Fms
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
著者: Glynn Winskel
出版社: The MIT Press
評価:
カテゴリ:
コメント:
関連本棚: りんごスプーン
Fms
Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations)
Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations)
著者: Masahito Hasegawa
出版社: Springer
評価:
カテゴリ:
コメント:
関連本棚: りんごスプーン
Fms
数理論理学 (コンピュータ数学シリーズ)
数理論理学 (コンピュータ数学シリーズ)
著者: 林 晋
出版社: コロナ社
評価:
カテゴリ:
コメント:
関連本棚: りんごスプーン Calculi
Fms
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
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
評価:
カテゴリ:
コメント:
関連本棚: orken りんごスプーン うち kuwa
Fms
Computability and Complexity: From a Programming Perspective (Foundations of Computing)
Computability and Complexity: From a Programming Perspective (Foundations of Computing)
著者: Neil Deaton Jones
出版社: The MIT Press
評価:
カテゴリ:
コメント:
関連本棚: りんごスプーン
Fms
Types and Programming Languages
Types and Programming Languages
著者: Benjamin C. Pierce
出版社: The MIT Press
評価:
カテゴリ:
コメント:
関連本棚: orken oxy りんごスプーン prime_no_132nd soutaro minkewhale 読み虫 あきっぽん ikep 岸リトル yagiey 増井
Fms
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
著者: Carl A. Gunter
出版社: The MIT Press
評価:
カテゴリ:
コメント:
関連本棚: りんごスプーン
Fms
Categories for the Working Mathematician
Categories for the Working Mathematician
著者: S. MacLane
出版社: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
評価:
カテゴリ:
コメント:
関連本棚: りんごスプーン
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