Constructive theory of Banach algebras

Thierry Coquand, Bas Spitters

Full Text:

11. [PDF]


DOI: http://dx.doi.org/10.4115/jla.2010.2.11

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN:  1759-9008