Coquand, Thierry; Spitters, Bas Constructive theory of Banach algebras. (English) Zbl 1285.03073 J. Log. Anal. 2, Paper No. 11, 15 p. (2010). MSC: 03F60 46H05 46S30 PDFBibTeX XMLCite \textit{T. Coquand} and \textit{B. Spitters}, J. Log. Anal. 2, Paper No. 11, 15 p. (2010; Zbl 1285.03073) Full Text: DOI arXiv
Coquand, Thierry; Spitters, Bas Constructive Gelfand duality for C\(^*\)-algebras. (English) Zbl 1183.46052 Math. Proc. Camb. Philos. Soc. 147, No. 2, 339-344 (2009). MSC: 46L05 46S30 PDFBibTeX XMLCite \textit{T. Coquand} and \textit{B. Spitters}, Math. Proc. Camb. Philos. Soc. 147, No. 2, 339--344 (2009; Zbl 1183.46052) Full Text: DOI
Coquand, Thierry; Spitters, Bas Constructive Gelfand duality for C*-algebras. arXiv:0808.1518 Preprint, arXiv:0808.1518 [math.FA] (2008). MSC: 06D22 06D50 46L05 BibTeX Cite \textit{T. Coquand} and \textit{B. Spitters}, ``Constructive Gelfand duality for C*-algebras'', Preprint, arXiv:0808.1518 [math.FA] (2008) Full Text: DOI arXiv OA License
Coquand, Thierry Geometric Hahn–Banach theorem. (English) Zbl 1095.46046 Math. Proc. Camb. Philos. Soc. 140, No. 2, 313-315 (2006). Reviewer: Stefan Cobzaş (Cluj-Napoca) MSC: 46S30 46A55 03F60 PDFBibTeX XMLCite \textit{T. Coquand}, Math. Proc. Camb. Philos. Soc. 140, No. 2, 313--315 (2006; Zbl 1095.46046) Full Text: DOI
Coquand, T.; Spitters, B. Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems. (English) Zbl 1120.03049 J. UCS 11, No. 12, 1932-1944 (2005). MSC: 03F65 46A40 46S30 PDFBibTeX XMLCite \textit{T. Coquand} and \textit{B. Spitters}, J. UCS 11, No. 12, 1932--1944 (2005; Zbl 1120.03049) Full Text: arXiv Link
Coquand, Thierry A note on measures with values in a partially ordered vector space. (English) Zbl 1065.28006 Positivity 8, No. 4, 395-400 (2004). MSC: 28B15 46G10 06F20 PDFBibTeX XMLCite \textit{T. Coquand}, Positivity 8, No. 4, 395--400 (2004; Zbl 1065.28006) Full Text: DOI
Cederquist, Jan; Coquand, Thierry; Negri, Sara The Hahn-Banach theorem in type theory. (English) Zbl 0940.03069 Sambin, Giovanni (ed.) et al., Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19-21, 1995. Oxford: Clarendon Press. Oxf. Logic Guides. 36, 57-72 (1998). Reviewer: P.Kruszyński (Eindhoven) MSC: 03F60 46S30 PDFBibTeX XMLCite \textit{J. Cederquist} et al., in: Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19--21, 1995. Oxford: Clarendon Press. 57--72 (1998; Zbl 0940.03069)