Paolo Capriotti

Identifiers

• name variant Paolo Capriotti 0.60 · backfill

Papers (7)

1. Univalent Higher Categories via Complete Semi-Segal Types math.CT · 2017 · author #1
2. Two-Level Type Theory and Applications cs.LO · 2017 · author #2
3. Models of Type Theory with Strict Equality cs.LO · 2017 · author #1
4. Quotient inductive-inductive types cs.LO · 2016 · author #2
5. Extending Homotopy Type Theory with Strict Equality cs.LO · 2016 · author #2
6. Functions out of Higher Truncations cs.LO · 2015 · author #1
7. Non-wellfounded trees in Homotopy Type Theory cs.LO · 2015 · author #2

Mentions

• 1507.01150 #1 · backfill · confidence 0.70 Paolo Capriotti
• 1504.02949 #2 · backfill · confidence 0.70 Paolo Capriotti
• 1705.03307 #2 · arxiv_oai · confidence 0.70 Paolo Capriotti

Frequent Coauthors

• Nicolai Kraus 5 shared papers
• Thorsten Altenkirch 2 shared papers
• Andrea Vezzosi 1 shared papers
• Benedikt Ahrens 1 shared papers
• Christian Sattler 1 shared papers
• Danil Annenkov 1 shared papers
• Fredrik Nordvall Forsberg 1 shared papers
• Gabe Dijkstra 1 shared papers
• R\'egis Spadotti 1 shared papers