36 citations · 143 across the 40 of their papers we have counts for
1 paper · 1 filter
Thierry Coquand, Bas Spitters
We present a way to organize a constructive development of the theory of Banach algebras, inspired by works of Cohen, de Bruijn and Bishop. We illustrate this by giving elementary…