Part I - Finite Coproducts
Published online by Cambridge University Press: 06 January 2010
Summary
In this first part of the book we introduce a few categories as fundamental semantic frameworks and explore the formulation of general choice operators and iteration in arbitrary categories with finite coproducts.
- Type
- Chapter
- Information
- Predicate Transformer Semantics , pp. 23Publisher: Cambridge University PressPrint publication year: 1992