Coquand, Thierry
-
Vol 1 (2009) - Articles
Integrals and valuations
Details 3. [PDF] -
Vol 2 (2010) - Articles
Constructive theory of Banach algebras
Details 11. [PDF] -
Vol 3 (2011) - Articles
Unique paths as formal points
Details 6. [PDF] -
Vol 4 (2012) - Articles
A constructive proof of Simpson’s Rule
Details 15. [PDF]
Journal of Logic and Analysis ISSN: 1759-9008