|
Categories for Types paper 356 p. 94
Crole, R.L.
著
発行年月 |
1994年01月 |
|---|
|
出版国 |
イギリス |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
paper |
|---|
|
ページ数／巻数 |
356 p. |
|---|
|
|
ジャンル |
洋書／理工学／情報科学／情報科学基礎 |
|---|
|
|
ISBN |
9780521457019 |
|---|
|
商品コード |
0209337407 |
|---|
|
|
|
本の性格 |
テキスト |
|---|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209337407 |
|---|
内容
This textbook explains the basic principles of categorical type theoryand the techniques used to derive categorical semantics for specific typetheories.
