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…