Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings

>> Google Books

Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings

フォーマット:

図書

責任表示:

D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.)

言語:

英語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1987

形態:

iv, 300 p. : ill. ; 25 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 283 <BA00009279>

書誌ID:

BA01242086

ISBN:

9783540185086 [3540185089] (: gw)

9780387185088 [0387185089] (: us)

子書誌情報

所蔵情報

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

詳細

主題:	Categories (Mathematics); Electronic digital computers--Programming
分類・件名:	LCC : QA76.6 DDC : 005.1 NDC8 : 411.8 NDC8 : 007.64 LCSH : Electronic digital computers -- Programming LCSH : Categories (Mathematics)
注記:	Includes bibliographies
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings Conference on Category Theory and Computer Science, Pitt, David (David H.), Rydeheard, D. E. (David E.), Johnstone, P. T Springer	7 図書 Categories, types, and structures : an introduction to category theory for the working computer scientist Asperti, Andrea, Longo, Giuseppe MIT Press
2 図書 Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings Pitt, David (David H.), Conference on Category Theory and Computer Science Springer-Verlag	8 図書 Categories and computer science Walters, Richard F. Cambridge University Press
3 図書 Computational category theory Rydeheard, D. E. (David E.), Burstall, Rod M., 1934- Prentice Hall	9 図書 Exact categories and categories of sheaves Barr, Michael, Grillet, Pierre Antoine, Van Osdol, Donovan H. Springer-Verlag
4 図書 Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings Tutorial and Workshop on Category Theory and Computer Programming, Pitt, David (David H.) Springer-Verlag	10 図書 Category theory and computer science : 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings Conference on Category Theory and Computer Science, Moggi, Eugenio, Rosolini, G. (Giuseppe), 1954- Springer-Verlag
5 図書 Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings Conference on Category Theory and Computer Science, Pitt, David (David H.) Springer-Verlag	11 図書 Continuous lattices : proceedings of the Conference on Topological and Categorical Aspects of Continuous Lattices (Workshop IV) held at the University of … Conference on Topological and Categorical Aspects of Continuous Lattices, Banaschewski, Bernhard, Hoffmann, … Springer-Verlag
6 図書 Basic category theory for computer scientists Pierce, Benjamin C. MIT Press	12 図書 Homotopy theory of higher categories Simpson, Carlos, 1962- Cambridge University Press