5 treff

Algebraic approaches to program semantics
Ernest G. Manes, Michael A. Arbib
Bok Engelsk 1986
Foundations of system theory : finitary and infinitary conditions
Anderson, Brian D.O.
Bok Engelsk 1976
Algebraic theories
Ernest G. Manes
Bok Språk ikke angitt 1976
Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
edited by E.G. Manes
Bok Engelsk 1975
Arrows, structures, and functors : the categorical imperative
Michael A. Arbib, Ernest G. Manes
Bok Engelsk 1975