Computable decision making on the reals and other spaces: via partiality and nondeterminism.

Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin

Browse the full LICS paper archive.