本
紙の本
Kindle
DVD
音楽
すべて
ブクログとは
新規会員登録
ログイン
トップ
新刊ニュース
ランキング
ブックリスト
談話室
ブクログ通信
サポート
お知らせ
ヘルプセンター
お問い合わせ
法人向け広告メニュー
NEW
ブクログユーザーさんの「旅する」ベスト本!
ブクログ
>
タグから検索
>
型理論
本を探す:タグから検索
型理論に関連するアイテム一覧
Advanced Topics in Types and Programming Languages (Mit Press)
16
人
5.00
Benjamin C.Pierce
洋書
2004年12月23日
Amazon.co.jp
本棚に登録
プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト))
151
人
4.00
4
件
五十嵐淳
本
2011年7月1日
Amazon.co.jp
本棚に登録
Foundations of Object-Oriented Languages: Types and Semantics
1
人
Kim B.Bruce
洋書
2002年3月1日
Amazon.co.jp
本棚に登録
Types and Programming Languages (The MIT Press)
41
人
4.00
Benjamin C.Pierce
洋書
2002年1月4日
Amazon.co.jp
本棚に登録
Basic Category Theory for Computer Scientists (Foundations of Computing)
22
人
4.00
2
件
Benjamin C.Pierce
洋書
1991年8月7日
Amazon.co.jp
本棚に登録
Categories for Types (Cambridge Mathematical Textbooks)
7
人
Crole
洋書
2008年1月12日
Amazon.co.jp
本棚に登録
The Pi-Calculus: A Theory of Mobile Processes
4
人
5.00
1
件
DavideSangiorgi
洋書
2008年8月21日
Amazon.co.jp
本棚に登録
A Distributed Pi-Calculus
1
人
5.00
1
件
MatthewHennessy
洋書
2007年3月8日
Amazon.co.jp
本棚に登録
型システム入門 −プログラミング言語と型の理論−
214
人
4.00
9
件
Benjamin C. Pierce
本
2013年3月26日
Amazon.co.jp
本棚に登録
型理論 (レクチャーノート/ソフトウェア学 1)
6
人
龍田真
本
1992年11月1日
Amazon.co.jp
本棚に登録
全10件中 1 - 10件を表示
本の登録・編集
本を登録する
キーワードで検索
タグから検索
まとめて登録 (ISBN)
オリジナルアイテム登録
本を編集する
本の並び替え
カテゴリの編集・削除
タグの編集・削除
読書状況まとめて変更
コメント一覧
まとめて削除
外部で活用する
エクスポート