Andrea Vezzosi -

Not registered as user yet

Name: Andrea Vezzosi

Affiliation: Chalmers University of Technology

Contributions

ICFP 2019	Author of Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types within the Research Papers-track
ICFP 2017	Author of Parametric Quantifiers for Dependent Type Theory within the Research Papers-track Author of Normalization by Evaluation for Sized Dependent Types within the Research Papers-track
POPL 2018	Author of Decidability of Conversion for Type Theory in Type Theory within the Artifact Evaluation-track Author of Decidability of Conversion for Type Theory in Type Theory within the Research Papers-track