From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics By Anonymous (not verified) 30 / Sep / 2011 Read more about From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
