Ernest G. Manes | Bookhype

Nov 28, 1997

Cover of Arrows, Structures and Functors

Arrows, Structures and Functors

Aug 13, 1992

Cover of Predicate Transformer Semantics

Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science)

Sep 10, 1986

Cover of Algebraic Approaches to Program Semantics

Algebraic Approaches to Program Semantics (Springer Texts in Electrical Engineering) (Monographs in Computer Science)

Jul 15, 1976

Cover of Algebraic Theories

Algebraic Theories (Graduate Texts in Mathematics, #26)

Jan 1, 1969

Cover of Seminar on Triples and Categorical Homology Theory

Seminar on Triples and Categorical Homology Theory (Lecture Notes in Mathematics, #80)