Coquand, Thierry, University of Gothenburg, Sweden

• Vol 5 (2013) - Articles
  Dynamic Newton-Puiseux theorem
  Abstract  5. [PDF]
• Vol 11 (2019) - Articles
  Preface to the special issue for The Fifth Workshop on Formal Topology
  Details  FT0. [PDF]