![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Category Theory and Computer Science (CTCS)
10th CTCS 2004: Denmark
- Lars Birkedal:
Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004. Electronic Notes in Theoretical Computer Science 122, Elsevier 2005 [contents]
9th CTCS 2002: University of Ottawa, Canada
- Richard Blute, Peter Selinger:
Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002. Electronic Notes in Theoretical Computer Science 69, Elsevier 2002 [contents]
8th CTCS 1999: Edinburgh, Scotland, UK
- Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic:
Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999. Electronic Notes in Theoretical Computer Science 29, Elsevier 1999 [contents]
7th CTCS 1997: Santa Margherita Ligure, Italy
- Eugenio Moggi, Giuseppe Rosolini:
Category Theory and Computer Science, 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings. Lecture Notes in Computer Science 1290, Springer 1997, ISBN 3-540-63455-X [contents]
6th CTCS 1995: Cambridge, UK
- David H. Pitt, David E. Rydeheard, Peter T. Johnstone:
Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings. Lecture Notes in Computer Science 953, Springer 1995, ISBN 3-540-60164-3 [contents]
5th CTCS 1993
4th CTCS 1991: Paris, France
- David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard:
Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings. Lecture Notes in Computer Science 530, Springer 1991, ISBN 3-540-54495-X [contents]
3rd Category Theory and Computer Science 1989: Manchester, UK
- David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné:
Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings. Lecture Notes in Computer Science 389, Springer 1989, ISBN 3-540-51662-X [contents]
2nd Category Theory and Computer Science 1987: Edinburgh, UK
- David H. Pitt, Axel Poigné, David E. Rydeheard:
Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings. Lecture Notes in Computer Science 283, Springer 1987, ISBN 3-540-18508-9 [contents]
1st Category Theory and Computer Science 1985: Guildford, UK
- David H. Pitt, Samson Abramsky
, Axel Poigné, David E. Rydeheard:
Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings. Lecture Notes in Computer Science 240, Springer 1986, ISBN 3-540-17162-2 [contents]
Categorial Methods in Computer Science 1988
- Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß:
Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]. Lecture Notes in Computer Science 393, Springer 1989, ISBN 3-540-51722-7 [contents]
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.