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

dvmcarpena has no activity yet