Contributed talk CCC 2021: A Certified Library of Ordinal Arithmetic

Activity: Talk or presentation types › Oral presentation

Period21 Sept 2021
Event titleContinuity, Computability, Constructivity: From Logic to Algorithms
Event typeConference
Conference number2021
LocationBirmingham, United KingdomShow on map
Degree of RecognitionInternational

Documents & Links

  • Abstract

    File: application/pdf, 141 KB

    Type: Text