You are about to access our book library "From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics full version" .