KNOWLEDGE WORKER ナレッジワーカー



Categories for Types hardcover 356 p. 94

Crole, R.L.  著

在庫状況 海外在庫有り  お届け予定日 1ヶ月 
価格 \40,555(税込)         
発行年月 1994年01月
出版社/提供元
Cambridge University Press
出版国 イギリス
言語 英語
媒体 冊子
装丁 hardcover
ページ数/巻数 356 p.
ジャンル 洋書/理工学/情報科学/情報科学基礎
ISBN 9780521450928
商品コード 0209337406
本の性格 テキスト
商品URLhttps://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209337406

内容

This textbook explains the basic principles of categorical type theoryand the techniques used to derive categorical semantics for specific typetheories.

目次