Category theory for computing science

>> Amazon.co.jp

このページのQRコード

Category theory for computing science. 2nd ed

種類:

図書

責任表示:

Michael Barr and Charles Wells

出版情報:

London ; New York : Prentice Hall, c1995

著者名:

シリーズ名:

Prentice-Hall International series in computer science <BA00010507>

ISBN:

9780133238099 [0133238091]

注記:

Includes bibliographical references (p. 303-318) and index

所蔵情報

子書誌情報

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

1. Category theory for computing science
Michael Barr, Charles Wells , Prentice Hall , 1990

詳細

主題:	Categories (Mathematics); Electronic data processing--Mathematics
分類・件名:	LCC : QA76.9.M35 DDC : 512/.55 LCSH : Electronic data processing -- Mathematics LCSH : Categories (Mathematics)
LCCN:	95004728
TTLL:	eng
言語:	英語
形態:	xvii, 325 p. ; 24 cm
書誌ID:	BA26293644

内容紹介

目次情報

類似資料:

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 図書 First order categorical logic : model-theoretical methods in the theory of topoi and related categories Makkai, Michael, 1939-, Reyes, Gonzalo E., 1937- Springer-Verlag
2 図書 Toposes, triples, and theories Barr, Michael, Wells, Charles Springer-Verlag	8 図書 Algebraic K-theory and its geometric applications Moss, Robert Michael Forrester, Thomas, Charles Benedict, University of Hull Springer-Verlag
3 図書 *-Autonomous categories Barr, Michael Springer-Verlag	9 図書 Discrete mathematics : applied combinatorics and graph theory Townsend, Michael, 1952- Benjamin/Cummings Pub. Co.
4 図書 Exact categories and categories of sheaves Barr, Michael, Grillet, Pierre Antoine, Van Osdol, Donovan H. Springer-Verlag	10 図書 Introduction to the theory of categories and functors Bucur, Ion, 1930-1976, Deleanu, Aristide, Hilton, Peter John, 1923- Wiley
5 電子ブック Accessible categories : the foundations of categorical model theory Makkai, Michael, 1939-, Paré, Robert, 1944- American Mathematical Society	11 図書 Basic category theory Borceux, Francis, 1948- Cambridge University Press
6 図書 Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings Conference on Category Theory and Computer Science, Pitt, David (David H.), Poigné, A., Rydeheard, D. E. (David E.) Springer-Verlag	12 電子ブック Mathematical applications of category theory American Mathematical Society.Meeting, Gray, John W.1931- American Mathematical Society