research
∙
05/04/2020
Continuous and monotone machines
We investigate a variant of the fuel-based approach to modeling divergin...
share
research
∙
08/14/2019
Type-two Iteration with Bounded Query Revision
Motivated by recent results of Kapron and Steinberg (LICS 2018) we intro...
research
∙
04/30/2019
Quantitative continuity and computable analysis in Coq
We give a number of formal proofs of theorems from the field of computab...
research
∙
01/23/2018
Type-two polynomial-time and restricted lookahead
This paper provides an alternate characterization of type-two polynomial...
research
∙
11/28/2017