Skip to primary content
Skip to secondary content

Fedi.Directory – Interesting accounts on Mastodon & the Fediverse

Fedi.Directory – Interesting accounts on Mastodon & the Fediverse

Main menu

  • Browse Directory
  • Top 100 Topics
  • How To Use This Site
  • Getting Listed
  • About This Site

Tagged: Constructive Mathematics

Martin Escardo

Professor in the School of Computer Science at the University of Birmingham in the UK. 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 etc.

Fediverse address:
@MartinEscardo@mathstodon.xyz

Tagged Academic, Computer Science, Constructive Mathematics, Homotopy, Mathematics, Science
Mastodon RSS About This Site Privacy Policy