Martin Escardo
Contacting Martin Escardo
Federation handle:
@MartinEscardo@mathstodon.xyz
Martin Escardo's Information
Martin Escardo's Bio
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.
Martin Escardo's Posts
Martin Escardo has 1 posts.
Martin Escardo
The world was much better, or at least less worse, when the internet didn't exist. I lived to witness this.
Likes: 0
Replies: 0
Boosts: 1