Evan Cavallo
From MaRDI portal
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 |
|---|---|---|
| Automating boundary filling in cubical type theories Logical Methods in Computer Science | 2026-08-04 | Paper |
| The equivariant model structure on cartesian cubical sets Advances in Mathematics | 2026-05-08 | Paper |
| Automating boundary filling in cubical Agda | 2026-01-14 | Paper |
| The RedPRL proof assistant (invited paper) | 2025-08-19 | Paper |
| Internal Parametricity for Cubical Type Theory | 2023-02-07 | Paper |
| Unifying Cubical Models of Univalent Type Theory | 2023-02-07 | Paper |
| Relative elegance and cartesian cubes with one connection | 2022-11-27 | Paper |
| Modalities and Parametric Adjoints ACM Transactions on Computational Logic | 2022-04-29 | Paper |
| Internal parametricity for cubical type theory (available as arXiv preprint) | 2022-02-09 | Paper |
| Internal parametricity for cubical type theory | 2022-02-09 | Paper |
| Stable factorization from a fibred algebraic weak factorization system | 2019-10-07 | Paper |
Research outcomes over time
This page was built for person: Evan Cavallo
