28 results
Index
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 221-223
-
- Chapter
- Export citation
16 - Boolean Monads
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 199-215
-
- Chapter
- Export citation
9 - Hoare Assertions and while-do
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 118-130
-
- Chapter
- Export citation
11 - Representations by Relations
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 146-160
-
- Chapter
- Export citation
Part II - Structure of a Boolean Category
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 71-71
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805216/16102/cover/9780521616102.jpg)
Predicate Transformer Semantics
-
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992
Frontmatter
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp i-vi
-
- Chapter
- Export citation
10 - Predicate Transformers
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 131-145
-
- Chapter
- Export citation
14 - Equations for 3-valued if-then-else
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 182-187
-
- Chapter
- Export citation
Part III - Metatheory
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 146-146
-
- Chapter
- Export citation
Introduction
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 1-22
-
- Chapter
- Export citation
2 - Natural Choice Operators
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 31-45
-
- Chapter
- Export citation
5 - The Boolean Algebra of Summands
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 80-89
-
- Chapter
- Export citation
3 - Polymorphic Iterates
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 46-70
-
- Chapter
- Export citation
Part I - Finite Coproducts
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 23-23
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 216-220
-
- Chapter
- Export citation
13 - Completion and Duality
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 171-181
-
- Chapter
- Export citation
Contents
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp vii-viii
-
- Chapter
- Export citation
Part IV - Distributive Categories
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 188-190
-
- Chapter
- Export citation
4 - The Axioms
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 71-79
-
- Chapter
- Export citation