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)


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
Issue number3
Publication statusPublished - 1995


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

Cite this