Demonic Operators and Monotype Factors

@article{Backhouse1993DemonicOA,
  title={Demonic Operators and Monotype Factors},
  author={Roland Carl Backhouse and Jaap van der Woude},
  journal={Mathematical Structures in Computer Science},
  year={1993},
  volume={3},
  pages={417-433}
}
This paper tackles the problem of constructing a compact, point· free proof of the associativity of demonic composition of binary relations and its distributivity through demonic choice. In order to achieve this goal a definition of demoniC composition is proposed in which angelic composition is restricted by means of a so-called "monotype factor". Monotype factors are characterised by a Galois connection similar to the Galois connection between composition and factorisation of binary relations… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 18 references

A relational theory of datatypes

  • R. C. Backhouse, T. S. Voermans, J. van der Woude
  • In preparation: copies of draft available on…
  • 1991

Galois connections and paIr algebras

  • Martin Simons
  • Unpublished draft,
  • 1991

Relational catamorphisms

  • R. C. Backhouse, P. de Bruin, G. Malcolm, T. S. Voermans, J. van der Woude
  • Proceedings of the IFIP TC2/WG2.1 Working…
  • 1991

Relational specification of data types and programs

  • R. Berghammer
  • Bericht Nr
  • 1991

Similar Papers

Loading similar papers…