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]