本を探す
Scrapbox
書籍追加
|
本棚情報変更
|
名前変更/本棚削除
|
ヘルプ
|
ランダム
りんごスプーンの本棚
|
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト
(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
評価:
カテゴリ:
コメント:
関連本棚:
nobsun2006
りんごスプーン
prime_no_132nd
agusaLab
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)
Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations)
著者:
Masahito Hasegawa
出版社:
Springer
評価:
カテゴリ:
コメント:
関連本棚:
りんごスプーン
数理論理学 (コンピュータ数学シリーズ)
著者:
林 晋
出版社:
コロナ社
評価:
カテゴリ:
コメント:
関連本棚:
りんごスプーン
Calculi
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
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
評価:
カテゴリ:
コメント:
関連本棚:
orken
oxy
りんごスプーン
prime_no_132nd
soutaro
minkewhale
読み虫
あきっぽん
ikep
岸リトル
yagiey
増井
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
著者:
Carl A. Gunter
出版社:
The MIT Press
評価:
カテゴリ:
コメント:
関連本棚:
りんごスプーン
Categories for the Working Mathematician
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
評価:
カテゴリ:
コメント:
関連本棚:
spi
tanaka
kmt-t
りんごスプーン
prime_no_132nd
Felio
Calculi
minkewhale
agusaLab
kuwa
|
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト