Types, Homotopy Type Theory, and Verification
- Collins, P. (Participant / Attendee)
Activity: Organizing, contributing or attending an event › Organizing or contributing to an event › Academic
Activity: Organizing, contributing or attending an event › Organizing or contributing to an event › Academic