research
∙
02/02/2022
Extracting efficient exact real number computation from proofs in constructive type theory
Exact real computation is an alternative to floating-point arithmetic wh...
research
∙
05/04/2020
Continuous and monotone machines
We investigate a variant of the fuel-based approach to modeling divergin...
research
∙
04/30/2019