Andrea Vezzosi

Identifiers

No identifiers captured yet.

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

No mention provenance yet.

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