research
∙
05/19/2021
On the logical structure of choice and bar induction principles
We develop an approach to choice principles and their contrapositive bar...
share
research
∙
08/05/2020
Semantic verification of dynamic programming
We prove that the generic framework for specifying and solving finite-ho...
research
∙
08/05/2020
