Title: From sets and types to topology and analysis
Description: Bridging the foundations and practice of constructive mathematics, this text focusses on the contrast between the theoretical developments - which have been most useful for computer science - and more specific efforts on constructive analysis, algebra and topology.
Subjects: Congresses, Constructive mathematics, Mathematics, Constructieve wiskunde, Analyse (wiskunde), Topologie