Nathanael Arkor
arkor
math.muni.cz
Postdoc researching Category Theory & Type Theory at
Masaryk University
I've moved to a
new webpage
.