Andrea Vezzosi

Identifiers

• name variant Andrea Vezzosi 0.60 · backfill

Papers (3)

1. Guarded Cubical Type Theory cs.LO · 2016 · author #6
2. Guarded Cubical Type Theory: Path Equality for Guarded Recursion cs.LO · 2016 · author #6
3. Functions out of Higher Truncations cs.LO · 2015 · author #3

Mentions

• 1507.01150 #3 · backfill · confidence 0.70 Andrea Vezzosi

Frequent Coauthors

• Ale\v{s} Bizjak 2 shared papers
• Bas Spitters 2 shared papers
• Hans Bugge Grathwohl 2 shared papers
• Lars Birkedal 2 shared papers
• Ranald Clouston 2 shared papers
• Nicolai Kraus 1 shared papers
• Paolo Capriotti 1 shared papers