Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more.
Profil ze zdalnego serwera może być niekompletny. Zobacz więcej na oryginalnej instancji.