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]
Journal of Logic and Analysis ISSN: 1759-9008