Login / Signup

On the failure of fixed-point theorems for chain-complete lattices in the effective topos.

Andrej Bauer
Published in: Theor. Comput. Sci. (2012)
Keyphrases
  • fixed point
  • fixed point theorem
  • dynamical systems
  • sufficient conditions
  • floating point
  • constraint databases
  • image processing
  • high quality
  • higher order
  • policy iteration