Category Theory and Computer Science
10. CTCS 2004: Denmark
9. CTCS 2002: University of Ottawa, Canada
Proceedings: ENTCS 69
CTCS 2002 Home Page
8. CTCS 1999: Edinburgh, Scotland, UK
CTCS 1999 Home Page
7. CTCS 1997: Santa Margherita Ligure, Italy
Eugenio Moggi, Giuseppe Rosolini (Eds.):
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 BibTeX
6. CTCS 1995: Cambridge, UK
David H. Pitt, David E. Rydeheard, Peter Johnstone (Eds.):
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 BibTeX
5. CTCS 1993
4. CTCS 1991: Paris, France
David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (Eds.):
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 BibTeX
3. Category Theory and Computer Science 1989: Manchester, UK
David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné (Eds.):
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 BibTeX
2. Category Theory and Computer Science 1987: Edinburgh, UK
David H. Pitt, Axel Poigné, David E. Rydeheard (Eds.):
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 BibTeX
1. Category Theory and Computer Science 1985: Guildford, UK
David H. Pitt, Samson Abramsky, Axel Poigné, David E. Rydeheard (Eds.):
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 BibTeX
Categorial Methods in Computer Science 1988
Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß (Eds.):
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 BibTeX
Copyright © Sat May 16 23:04:23 2009
by Michael Ley (ley@uni-trier.de)
