• DOI:10.1007/978-1-4612-1674-2
Corpus ID: 5658513

Refinement Calculus

@inproceedings{Back1998RefinementC,
  title={Refinement Calculus},
  author={R. Back and J. V. Wright},
  booktitle={Graduate Texts in Computer Science},
  year={1998}
}

R. Back, J. V. Wright

Published in

Graduate Texts in Computer…

1998

Computer Science

Categories We can generalize the notion of a concrete category to an (abstract) category. A category C consists of a collection of objects Obj(C) and a collection of morphisms Mor(C). Each morphism has a source and a target, both of which are objects. We write A -!.... B to indicate that / is a morphism with source A and target B. Furthennore, there is a composition operator that takes a morphism A -!.... B and a morphism B ...!.. c to the morphism A ~ B. Composition / ; g is defined only if… CONTINUE READING

View on Springer

link.springer.com

Save to Library

Create Alert

Cite

Launch Research Feed