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

Ernest G. Manes, editor, Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings. Volume 25 of Lecture Notes in Computer Science, Springer, 1975.

Conference: category1975

Abstract

Abstract is missing.

Table of Contents