Types, Thorsten and Theories

Activity: Talk or presentation typesOral presentation

Description

Counting on Thorsten: Representing Ordinals in Homotopy Type Theory
Period12 Oct 2022
Event titleTypes, Thorsten and Theories: A workshop on type theory in honour of Thorsten Altenkirch's 60th birthday
Event typeWorkshop
LocationNottingham, United KingdomShow on map
Degree of RecognitionInternational