Paolo Capriotti -

Not registered as user yet

Name: Paolo Capriotti

Affiliation: University of Nottingham

Contributions

POPL 2018	Author of Univalent Higher Categories via Complete Semi-Segal Types within the Artifact Evaluation-track Author of Univalent Higher Categories via Complete Semi-Segal Types within the Research Papers-track