Category Theory
CTCS: Category Theory and Computer Science
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
Category Theory Applied to Computation and Control 1974: San Francisco, CA, USA
Ernest G. Manes (Ed.):
Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings.
Lecture Notes in Computer Science 25 Springer 1975, ISBN 3-540-07142-3
Contents BibTeX
Copyright © Sat May 16 23:00:34 2009
by Michael Ley (ley@uni-trier.de)
