Start Over
You searched for: author_facet Manes, Ernest G.

Search Results

Cover image for Predicate transformer semantics

Predicate transformer semantics

Location Call # Status
Joyner - General Stacks QA76.7 .M342 1992 ✔ Available
Cover image for Algebraic theories

Algebraic theories

Location Call # Status
Joyner - General Stacks QA251 .M365 ✔ Available
Cover image for Arrows, structures, and functors

Arrows, structures, and functors

Location Call # Status
Joyner - General Stacks QA169 .A7 ✔ Available
Cover image for Category theory applied to computation and control

Category theory applied to computation and control

  • 1975
  • Format: Book
Location Call # Status
Joyner - General Stacks QA267 .C35 ✔ Available