M. A. Arbib, E. G. Manes (auth.), Dr. Ernest Gene Manes (eds.)

Category Theory Applied to Computation and Control: Proceedings of the First International Symposium San Francisco, February 25–26, 1974