Stoneech compactification

Results: 2



#Item
1769  Documenta Math. Characterisation of the Berkovich Spectrum of the Banach Algebra of Bounded Continuous Functions

769 Documenta Math. Characterisation of the Berkovich Spectrum of the Banach Algebra of Bounded Continuous Functions

Add to Reading List

Source URL: documenta.sagemath.org

Language: English - Date: 2014-07-14 07:18:55
2Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany

Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2015-01-25 16:18:54