Contributed talk CCC 2022: Constructivity Aspects of Brouwer Tree Ordinals

Activity: Talk or presentation types › Oral presentation

Period21 Sept 2022
Event titleContinuity, Computability, Constructivity: From Logic to Algorithms
Event typeConference
Conference number2022
LocationPadua, ItalyShow on map
Degree of RecognitionInternational

Documents & Links

  • Abstract

    File: application/pdf, 165 KB

    Type: Text