Notes on constructive topology
Computable decision making on the reals and other spaces via partiality and nondeterminism. Benjamin Sherman, Luke Sciarappa, Adam Chlipala, and Michael Carbin. LICS 2018. [Long version on arXiv]
Constructive probabilistic semantics with non-spatial locales. Benjamin Sherman, Jared Tramontano, and Michael Carbin. PPS 2018.
Making Discrete Decisions Based on Continuous Values (my S.M. thesis)
Some of these notes are very preliminary. They may be lacking context or detail, and might have errors, too.