Continuity, Computability, Constructivity -
From Logic to Algorithms (CCC 2017)

Loria, Nancy (France), 26-30 June 2017