Andrea Vezzosi

Not registered as user yet

Name: Andrea Vezzosi

Affiliation: Chalmers University of Technology

Contributions

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