>> Google Books
所蔵情報QRコード

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

資料種別:
図書
出版情報:
Cambridge, Mass. : MIT Press, c1991
形態:
xi, 306 p. ; 24 cm
シリーズ名:
Foundations of computing <BA07248970>
著者名:
ISBN:
9780262011259 [0262011255]
書誌ID:
BA13010634
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Basic category theory for computer scientists

Pierce, Benjamin C.

MIT Press
7 図書 Categories for the working mathematician (: hb ; : pb)

Mac Lane, Saunders, 1909-

Springer
2 図書 An introduction to category theory

Krishnan, V. Sankrithi (Viakalathur Sankrithi), 1919-

North Holland
8 図書 Categories for the working mathematician (: us : hbk ; : us : pbk ; : gw : pbk)

Mac Lane, Saunders, 1909-

Springer
3 電子ブック Categories for quantum theory : an introduction (: electronic bk)

Heunen, Chris, Vicary, Jamie

Oxford Scholarship Online
9 図書 Category theory (: hard ; : pbk)

Awodey, Steve, 1959-

Oxford University Press
4 図書 Topology and category theory in computer science

Reed, George M, Roscoe, Andrew William, Wachter, R. F

Clarendon Press, Oxford University Press
10 図書 Basic category theory

Borceux, Francis, 1948-

Cambridge University Press
5 図書 Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings (: gw ; : us)

Conference on Category Theory and Computer Science, Pitt, David (David H.), Poigné, A., Rydeheard, D. E. (David E.)

Springer-Verlag
11 電子ブック Elements of [infinity]-category theory / ((ebook))

Riehl, Emily, Verity, Dominic
6 図書 Categories and structures

Borceux, Francis, 1948-

Cambridge University Press
12 図書 Formal category theory : adjointness for 2-categories (: Germany ; : U.S.)

Gray, John W. (John Walker), 1931-

Springer-Verlag
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12