conf.researchr.org / Andrea Vezzosi

Not registered as user yet

Name: Andrea Vezzosi

Affiliation: Chalmers University of Technology

Contributions

ICFP 2019Author of Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types within the Research Papers-track
ICFP 2017Author 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 2018Author 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