• categorical, metric and ordered fixed point models
  • fixed points in algebra and coalgebra
  • fixed points in languages and automata
  • fixed points in programming language semantics
  • the mu-calculus and fixed points in modal logic
  • fixed points in process algebras and process calculi
  • fixed points in the lambda-calculus, functional programming and type theory
  • fixed points in relation to dataflow and circuits
  • fixed points in logic programming and theorem proving
  • finite model theory, descriptive complexity theory, fixed points in databases