Predicate Transformer Semantics
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9780521616102, 9780521420365, 9780511569821

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Boolean Algebra of Summands

Predicate Transformer Semantics ◽

10.1017/cbo9780511569821.009 ◽

1992 ◽

pp. 80-89

Keyword(s):

Boolean Algebra

Download Full-text

Fundamental Frameworks

Predicate Transformer Semantics ◽

10.1017/cbo9780511569821.004 ◽

1992 ◽

pp. 23-30

Download Full-text

Finite Coproducts

Predicate Transformer Semantics ◽

10.1017/cbo9780511569821.003 ◽

1992 ◽

pp. 23-23

Download Full-text

Predicate Transformers

Predicate Transformer Semantics ◽

10.1017/cbo9780511569821.014 ◽

1992 ◽

pp. 131-145

Keyword(s):

Predicate Transformers

Download Full-text

Introduction

Predicate Transformer Semantics ◽

10.1017/cbo9780511569821.002 ◽

1992 ◽

pp. 1-22

Download Full-text

Atomic Morphisms

Predicate Transformer Semantics ◽

10.1017/cbo9780511569821.021 ◽

1992 ◽

pp. 190-198

Download Full-text

Natural Choice Operators

Predicate Transformer Semantics ◽

10.1017/cbo9780511569821.005 ◽

1992 ◽

pp. 31-45

Keyword(s):

Download Full-text

Boolean Monads

Predicate Transformer Semantics ◽

10.1017/cbo9780511569821.022 ◽

1992 ◽

pp. 199-215

Download Full-text

Completion and Duality

Predicate Transformer Semantics ◽

10.1017/cbo9780511569821.018 ◽

1992 ◽

pp. 171-181

Download Full-text

Metatheory

Predicate Transformer Semantics ◽

10.1017/cbo9780511569821.015 ◽

1992 ◽

pp. 146-146

Download Full-text