Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

>> Google Books

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

フォーマット:

図書

責任表示:

David Pitt, David E. Rydeheard, Peter Johnstone (eds.)

言語:

英語

出版情報:

Berlin ; New York ; Tokyo : Springer, c1995

形態:

252 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 953 <BA00009279>

書誌ID:

BA25573689

ISBN:

9783540601647 [3540601643]

子書誌情報

所蔵情報

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

詳細

主題:	Categories (Mathematics)--Congresses; Electronic digital computers--Programming--Congresses
分類・件名:	LCC : QA76.6 DDC : 005.13/1 LCSH : Electronic digital computers -- Programming -- Congresses LCSH : Categories (Mathematics) -- Congresses
LCCN:	95035672
注記:	Includes bibliographical references "This volume contains papers presented at the Sixth meeting of the Biennial Conference on Category Theory and Computer Science (CTCS)"--Pref
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings International Conference on Rewriting Techniques and Applications, Hsiang, Jieh, 1954- Springer-Verlag
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 図書 Computational category theory Rydeheard, D. E. (David E.), Burstall, Rod M., 1934- Prentice Hall
3 図書 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	9 図書 Proceedings of the 1986 ACM Conference on LISP and Functional Programming : papers presented at the conference, Cambridge, Massachusetts, August 4-6, 1986 ACM Conference on LISP and Functional Programming, Association for Computing Machinery Association for Computing Machinery
4 図書 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	10 図書 Diagrammatic morphisms and applications : AMS Special Session on Diagrammatic Morphisms in Algebra, Category Theory, and Topology, October 21-22, 2000, San … AMS Special Session on Diagrammatic Morphisms in Algebra, Category Theory, and Topology, Radford, David E., Souza, … American Mathematical Society
5 図書 Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991 London Mathematical Society Symposium on Applications of Categories in Computer Science, Fourman, M. P., 1950-, … Cambridge University Press	11 図書 Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990 Carboni, A. (Aurelio), 1942-, Pedicchio, M. C. (Maria Cristinia), 1953-, Rosolini, G. (Giuseppe), 1954-, Conference … Springer-Verlag
6 図書 Applications of category theory to fuzzy subsets Rodabaugh, Stephen Ernest, Klement, E. P. (Erich Peter), Höhle, Ulrich, International Seminar on Fuzzy Set Theory Kluwer Academic Publishers	12 図書 Categorical aspects of topology and analysis : proceedings of an international conference held at Carleton University, Ottawa, August 11-15, 1981 Carleton Conference on Categorical Aspects of Topology and Analysis, Banaschewski, Bernhard Springer-Verlag