Fixed-point calculus

C. Aarts, R.C. Backhouse, E.A. Boiten, H. Doornbos, A.J.M. Gasteren, van, H.P.J. Geldrop - van Eijk, van, P.F. Hoogendijk, T.S. Voermans, J.C.S.P. Woude, van der

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
3 Downloads (Pure)

Abstract

The aim of this paper is to present a small calculus of extreme fixed points and to show it in action. The fixed-point theorem that was the main incentive for writing this paper is the fusion theorem presented in Section 3. It exploits the calculational properties of Galois connections.
Original languageEnglish
Pages (from-to)131-136
JournalInformation Processing Letters
Volume53
Issue number3
DOIs
Publication statusPublished - 1995

Fingerprint Dive into the research topics of 'Fixed-point calculus'. Together they form a unique fingerprint.

  • Cite this

    Aarts, C., Backhouse, R. C., Boiten, E. A., Doornbos, H., Gasteren, van, A. J. M., Geldrop - van Eijk, van, H. P. J., Hoogendijk, P. F., Voermans, T. S., & Woude, van der, J. C. S. P. (1995). Fixed-point calculus. Information Processing Letters, 53(3), 131-136. https://doi.org/10.1016/0020-0190(94)00195-5