An introduction to the theory of c*-algegras in constructive mathematics

Hiroki Takamura. An introduction to the theory of c*-algegras in constructive mathematics. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.

Authors

Hiroki Takamura

This author has not been identified. Look up 'Hiroki Takamura' in Google