2 papers
cs.LO2020
Continuous and monotone machines
Michal Konečný, Florian Steinberg, Holger Thies
We investigate a variant of the fuel-based approach to modeling diverging computation in type theories and use it to abstractly capture the essence of oracle Turing machines. The r…
cs.LO2019
Implementing evaluation strategies for continuous real functions
Michal Konečný, Eike Neumann
We give a technical overview of our exact-real implementation of various representations of the space of continuous unary real functions over the unit domain and a family of associ…