We investigate a variant of the fuel-based approach to modeling divergin...
Motivated by recent results of Kapron and Steinberg (LICS 2018) we intro...
We give a number of formal proofs of theorems from the field of computab...
This paper provides an alternate characterization of type-two polynomial...
We extend the framework for complexity of operators in analysis devised ...