arXiv 2016-10-03 EN K-theory of semi-linear endomorphisms via the Riemann-Hilbert correspondence Braunling, Oliver