Andrea Vezzosi

MaRDI QIDQ2319984zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Journal of Logical and Algebraic Methods in Programming	2023-02-03	Paper
Cubical Agda: a dependently typed programming language with univalence and higher inductive types Journal of Functional Programming	2021-12-13	Paper
Partial univalence in \(n\)-truncated type theory Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Guarded cubical type theory Journal of Automated Reasoning	2019-08-21	Paper
Guarded cubical type theory Journal of Automated Reasoning	2019-08-21	Paper
Functions out of higher truncations (available as arXiv preprint)	2017-08-31	Paper
Guarded cubical type theory: path equality for guarded recursion (available as arXiv preprint)	2017-07-19	Paper
Executable relational specifications of polymorphic type systems using Prolog Functional and Logic Programming	2016-04-04	Paper
A formalized proof of strong normalization for guarded recursive types Programming Languages and Systems	2016-02-26	Paper

Research outcomes over time

This page was built for person: Andrea Vezzosi