Fixed points and domain theory

Least and greatest fixed points of monotone and Scott-continuous maps, Kleene iteration, and the complete partial orders that underlie denotational semantics.

• Least and greatest fixed points on finite sets
• Scott-continuous maps and least fixed points
• Transitive closure of finite relations

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.