Evan Cavallo

Identifiers

No identifiers captured yet.

Papers (7)

1. Eliminating reversals from cubical type theories cs.LO · 2026 · author #1
2. Univalence without function extensionality cs.LO · 2026 · author #1
3. The equivariant model structure on cartesian cubical sets math.AT · 2024 · author #2
4. Automating Boundary Filling in Cubical Type Theories cs.LO · 2024 · author #2
5. Parametric Cubical Type Theory cs.LO · 2019 · author #1
6. The RedPRL Proof Assistant (Invited Paper) cs.LO · 2018 · author #2
7. Computational Higher Type Theory IV: Inductive Types cs.LO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Robert Harper 3 shared papers
• Christian Sattler 2 shared papers
• Anders M\"ortberg 1 shared papers
• Carlo Angiuli 1 shared papers
• Emily Riehl 1 shared papers
• Jonas H\"ofer 1 shared papers
• Jonathan Sterling 1 shared papers
• Kuen-Bang Hou (Favonia) 1 shared papers
• Maximilian Dor\'e 1 shared papers
• Steve Awodey 1 shared papers
• Thierry Coquand 1 shared papers