Paolo Capriotti > history in Homotopy Type Theory