CCC 2019: Computability, Continuity, Constructivity - from Logic to Algorithms

Ljubljana, 2-6 September 2019

Selected talk materials

Invited talks

Tutorial

Contributed talks