Algebraic theories /

Autor Manes, Ernst G.
Vydáno 1976

Predicate transformer semantics /

Autor Manes, Ernst G.
Vydáno 1992

Arrows, structures and functors : the categorical imperative /

Autor Arbib, Michael A., 1940-, Manes, Ernst G.
Vydáno 1975