こちらに共通ヘッダが追加されます。

この情報を出力する

このページのリンク

他の検索サイト

Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo
(Foundations of computing)

データ種別 図書
出版者 Cambridge, Mass. : MIT Press
出版年 c1991
大きさ xi, 306 p. ; 24 cm

所蔵情報を非表示

理工学部 情報系
007.64||A102 932022834


書誌詳細を非表示

書誌ID BB00162395
本文言語 英語
一般注記 Bibliographical references: p. [289]-299
Includes index
著者標目  *Asperti, Andrea
 Longo, Giuseppe
件　名 LCSH:Programming languages (Electronic computers)
LCSH:Categories (Mathematics)
分　類 LCC:QA76.7
DC20:005.13
巻冊次 ISBN:0262011255 RefWorks出力（各巻）
NCID BA13010634
目次・あらすじ

 類似資料