Extended abstracts fall 2013 : Geometrical analysis, Type theory, homotopy theory
and univalent foundations / Maria del Mar González, Paul C. Yang, Nicola Gambino,
Joachim Kock, 2015
Information trouvée : Mathématicien. En poste au Department of mathematics, Princeton University, Princeton,
NJ, Etats-Unis (en 2015)