- Hem
- Om universitetet
- Hitta person
- Evan Cavallo
Evan Cavallo
Forskare
Logik och typer (LT)-
Eliminating reversals from cubical type
theories
Evan Cavallo, Christian Sattler
Leibniz International Proceedings in Informatics - 2026 -
Type-theoretic replacement and univalent completion: applications and
interpretations
Evan Cavallo, Thierry Coquand
Leibniz International Proceedings in Informatics - 2026 -
Automated boundary filling in cubical type
theories
Maximilian Doré, Evan Cavallo, Anders Mörtberg
Logical Methods in Computer Science - 2026 -
The equivariant model structure on cartesian cubical
sets
Steve Awodey, Evan Cavallo, Thierry Coquand, Emily Riehl, Christian Sattler
Advances in Mathematics - 2026 -
Relative elegance and cartesian cubes with one
connection
Evan Cavallo, Christian Sattler
Canadian Journal of Mathematics - Journal Canadien de Mathematiques - 2025 -
Automating boundary filling in Cubical
Agda
Maximilian Doré, Evan Cavallo, Anders Mörtberg
Leibniz International Proceedings in Informatics - 2024