Hugo Nobrega

An Equational and Graphical Fixed-Point Calculus (Functional Pearl)

The fixed-point calculus is a toolbox of theorems for reasoning equationally about fixed points. However, the underlying concepts of the calculus are not defined equationally, including the central definition, that of least fixed point. Thus, although the key theorems of the fixe...