Separation Properties in Constructive Topology - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter Aczel, Christopher Fox. Separation Properties in Constructive Topology. 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.

This author has not been identified. Look up 'Peter Aczel' in GoogleThis author has not been identified. Look up 'Christopher Fox' in Google

runs on WebDSL