Pieter Collins

Activities

Activities per year 2011 2018 2020

• 6 Talk or presentation - at conference
• 2 Organizing or contributing to an event
• 1 Editorial activity; journal

Activities per year

Search results

• Types, Sets and Constructions

  Collins, P. (Participant / Attendee)

  4 Jun 2018 → 13 Jun 2018

  Activity: Organizing, contributing or attending an event › Organizing or contributing to an event › Academic

• Types, Homotopy Type Theory, and Verification

  Collins, P. (Participant / Attendee)

  5 Jun 2018 → 8 Jun 2018

  Activity: Organizing, contributing or attending an event › Organizing or contributing to an event › Academic