Preordered categories and predicate transformers

Authors:
Clare Martin
Affiliations:
Univ. of Oxford, UK
Venue:
Preordered categories and predicate transformers
Year:
1992

Citing 0
Cited 3

Invited Talk: Pointwise Relational Programming

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A categorical model for higher order imperative programming

Mathematical Structures in Computer Science
Interpreting nondeterminism in the refinement calculus

FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement

Quantified Score

Hi-index	0.00

Visualization

Abstract