Category Theory
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 ]
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. Springer 1975 Lecture Notes in Computer Science 25 ISBN 3-540-07142-3 [ 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