E.G. Manes Boeken

Category Theory Applied to Computation and Control

Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 (Lecture Notes in Computer Science)