Types, Homotopy Type Theory, and Verification

Collins, P. (Participant / Attendee)

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