Title: From sets and types to topology and analysis
Subjects: Congresses, Constructive mathematics