An Analysis of the Equational Properties of the Well-Founded Fixed Point

Open in new window