Category Theory and Computer Science
10. CTCS 2004: Denmark
9. CTCS 2002: University of Ottawa, Canada
CTCS 2002 Home Page
8. CTCS 1999: Edinburgh, Scotland, UK
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. Springer 1997 Lecture Notes in Computer Science 1290 ISBN 3-540-63455-X [ contents ]
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. Springer 1995 Lecture Notes in Computer Science 953 ISBN 3-540-60164-3 [ contents ]
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. Springer 1991 Lecture Notes in Computer Science 530 ISBN 3-540-54495-X [ contents ]
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. Springer 1989 Lecture Notes in Computer Science 389 ISBN 3-540-51662-X [ contents ]
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. Springer 1987 Lecture Notes in Computer Science 283 ISBN 3-540-18508-9 [ contents ]
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. Springer 1986 Lecture Notes in Computer Science 240 ISBN 3-540-17162-2 [ contents ]
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]. Springer 1989 Lecture Notes in Computer Science 393 ISBN 3-540-51722-7 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team