FIXED-POINT CALCULUS

Authors
AARTS C BACKHOUSE R BOITEN E DOORNBOS H VANGASTEREN N VANGELDROP R HOOGENDIJK P VOERMANS E VANDERWOUDE J
Citation
C. Aarts et al., FIXED-POINT CALCULUS, Information processing letters, 53(3), 1995, pp. 131-136
Citations number
3
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
Journal title
Information processing letters → ACNP
ISSN journal
00200190
Volume
53
Issue
3
Year of publication
1995
Pages
131 - 136
Database
ISI
SICI code
0020-0190(1995)53:3<131:FC>2.0.ZU;2-B
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 conne ctions.