undefined
Martin Escardo
@martinescardo@mathstodon.xyz
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.
I Topics più popolari
Visite al profilo
1
Iscrizione
Ultimo Accesso
homepage
www.cs.bham.ac.uk/~mhe/
Pronouns
He/Him
Inclusivity
Full
Attempting
To get as green as possible and save the planet