Category theory for computing science

>> Amazon.co.jp

このページのQRコード

Category theory for computing science

種類:

図書

責任表示:

Michael Barr, Charles Wells

出版情報:

New York ; London : Prentice Hall, 1990

著者名:

シリーズ名:

Prentice-Hall International series in computer science <BA00010507>

ISBN:

9780131204867 [0131204866]

注記:

Bibliography: p. 417-426
Includes index

所蔵情報

子書誌情報

タイトルが類似している資料

1. Category theory for computing science. 2nd ed
Michael Barr and Charles Wells , Prentice Hall , 1995

詳細

主題:	Computer systems. Applications of category theory
分類・件名:	DDC : 004/.01/51255 PRECIS : Computer systems. Applications of category theory
LCCN:	89003450
TTLL:	eng
言語:	英語
形態:	xv, 432 p. : ill. ; 24 cm
書誌ID:	BA10662413

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Category theory for computing science Barr, Michael, Wells, Charles Prentice Hall	7 電子ブック Exact Categories and Categories of Sheaves Barr, M., Grillet, P. A., Osdol, D. H. van., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
2 図書 Toposes, triples, and theories Barr, Michael, Wells, Charles Springer-Verlag	8 電子ブック Accessible categories : the foundations of categorical model theory Makkai, Michael, 1939-, Paré, Robert, 1944- American Mathematical Society
3 図書 *-Autonomous categories Barr, Michael Springer-Verlag	9 図書 Theory of categories Mitchell, Barry Academic Press
4 図書 Exact categories and categories of sheaves Barr, Michael, Grillet, Pierre Antoine, Van Osdol, Donovan H. Springer-Verlag	10 図書 Categories and computer science Walters, Richard F. Cambridge University Press
5 図書 Reports of the Midwest Category Seminar III Barr, Michael, Mac Lane, Saunders, 1909-, Midwest Category Seminar Springer	11 電子ブック Cross disciplinary advances in quantum computing : NSF sponsored research Conference on Representation Theory, Quantum Field Theory, Category Theory, and … Conference on Representation Theory, Quantum Field Theory, Category Theory, and Quantum Information Theory, Mahdavi, … American Mathematical Society
6 電子ブック *- Autonomous Categories Barr, M., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	12 図書 A notional theory of syntactic categories Anderson, John M. (John Mathieson), 1941- Cambridge University Press