Fixed point calculus is about the solution of recursive equations defined by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of fixed point calculus together with a number of applications of direct relevance to the construction of computer programs. The tutorial also summarises the theory and application of Galois connections between partially ordered sets. In particular, the intimate relation between Galois connections and fixed point equations is amply demonstrated.
CITATION STYLE
Backhouse, R. (2002). Galois Connections and Fixed Point Calculus (pp. 89–150). https://doi.org/10.1007/3-540-47797-7_4
Mendeley helps you to discover research relevant for your work.