Martín Hötzel Escardó's user avatar
Martín Hötzel Escardó's user avatar
Martín Hötzel Escardó's user avatar
Martín Hötzel Escardó
  • Member for 2 years, 4 months
  • Last seen more than 2 years ago
About

My research interests include computation, constructive mathematics, univalent mathematics, classical mathematics, topology, domain theory, (homotopy) type theory, game theory, and occasionally logic.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Posts

This user hasn’t posted yet.