About David Martínez Carpena

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

Lists

Timeline

dvmcarpena has no activity yet