Article
Martin-Löf identity types in C-systems
p. 1-67
Article
Globally + -regular varieties and the minimal model program for threefolds in mixed characteristic
p. 69-227
Article
A priori bounds for GIETs, affine shadows and rigidity of foliations in genus two
p. 229-366