This page shows all presentations of this author published in EasyChair Smart Slide.
Computable decision making on the reals and other spaces via partiality and nondeterminism
Benjamin Sherman, Luke Sciarappa, Adam Chlipala and Michael Carbin