Approximating integrable sets by compacts constructively

Bas Spitters. Approximating integrable sets by compacts constructively. 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

Bas Spitters

This author has not been identified. Look up 'Bas Spitters' in Google