CCC 2019: Computability, Continuity, Constructivity - from Logic to Algorithms
Ljubljana, 2-6 September 2019
Materials from the outreach session
- Francesco Ciraulo. Poster (in Italian) presented at European Researchers' Night by the constructive mathematics research group at the University of Padova: "Un invito alla matematica constructiva". Poster (pdf)
- Michal Konečný:
- Alex Simpson: "Programming with infinite data". Haskell source code for a 2-to-3 hour course for mathematically literate high school students: infiniteData.hs.