Heterogeneous Relation Algebras as a Kind of Allegory

@inproceedings{Gonzal1998HeterogeneousRA,
  title={Heterogeneous Relation Algebras as a Kind of Allegory},
  author={Carlos Gonzal},
  year={1998}
}
  • Carlos Gonzal
  • Published 1998
Relational formalisms for program construction or programming calculi have been in use for some years now. Two of the most widely used are heterogeneous relation algebras and allegories. In this paper we present some simple but new results showing heterogeneous relation algebras to be a kind of allegory, thus making them a particular case of the other one. 

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-8 of 8 references

Heterogeneous Relation Algebra

  • G Schmidt, C Hattensperger, M Winter
  • In Relational Methods in Computer Science
  • 1997

Categories, Allegories

  • P Freyd, A Scedrov
  • Categories, Allegories
  • 1990

Similar Papers

Loading similar papers…