Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andrea Vezzosi
Cubical Agda: A Dependently Typed Programming Language With Univalence and Higher Inductive Types
Proceedings of the ACM on Programming Languages
Decidability of Conversion for Type Theory in Type Theory
Proceedings of the ACM on Programming Languages
