Preprints
- Univalent typoids, 2019.
- A Yoneda lemma-formulation of the univalence axiom, 2019.
- Constructive Combinatorics of Dickson's Lemma, 2017.
- Advances in the theory of computable functionals TCF+ due to its implementation, 2013.
- Minlog implementations within the theory of computable functionals TCF+ , 2013.
- The topology of the strong Scott condition, 2012.
Back to my webpage
Last modified: 09.07.2020