Types, Homotopy Type Theory, and Verification

Activity: Organizing, contributing or attending an eventOrganizing or contributing to an eventAcademic

Period5 Jun 20188 Jun 2018
Event typeWorkshop
LocationBonn, Germany, North Rhine-Westphalia
Degree of RecognitionInternational