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 language | English |
|---|---|
| Pages (from-to) | 131-136 |
| Journal | Information Processing Letters |
| Volume | 53 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 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