Andrea Vezzosi

Available identifiers

Publication	Date of Publication	Type
Two guarded recursive powerdomains for applicative simulation	2024-12-17	Paper
Greatest HITs: higher inductive types in coinductive definitions via induction under clocks	2024-12-06	Paper
Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda	2023-02-03	Paper
Cubical Agda: A dependently typed programming language with univalence and higher inductive types	2021-12-13	Paper
Partial Univalence in n-truncated Type Theory	2021-01-21	Paper
Guarded cubical type theory	2019-08-21	Paper
Functions out of Higher Truncations	2017-08-31	Paper
Guarded Cubical Type Theory: Path Equality for Guarded Recursion	2017-07-19	Paper
Executable Relational Specifications of Polymorphic Type Systems Using Prolog	2016-04-04	Paper
A Formalized Proof of Strong Normalization for Guarded Recursive Types	2016-02-26	Paper

This page was built for person: Andrea Vezzosi