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. See my meta-blog: https:// cs.bham.ac.uk/~mhe/blog.html
mathstodon.xyz
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. See my meta-blog: https:// cs.bham.ac.uk/~mhe/blog.html
mathstodon.xyz
@MartinEscardo@mathstodon.xyz
·
Apr 01, 2026
@clemens Can we sue them if we are not entertained when we use it?
View full thread on mathstodon.xyz
9
0
0
Loading comments...