12 citations · 21 across the 7 of their papers we have counts for
1 paper · 1 filter
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…