Topology in Computer Science: Constructivity