About David Martinez Carpena

Mathematician and computer scientist. PhD student and teaching assistant at the University of Barcelona. Higher category theory and homotopy type theory.

Lists

Timeline

{username} has no activity yet