R\'egis Spadotti

Identifiers

• name variant R\'egis Spadotti 0.60 · backfill

Papers (2)

1. Non-wellfounded trees in Homotopy Type Theory cs.LO · 2015 · author #3
2. Terminal semantics for codata types in intensional Martin-L\"of type theory cs.LO · 2014 · author #2

Mentions

• 1504.02949 #3 · backfill · confidence 0.70 R\'egis Spadotti
• 1401.1053 #2 · backfill · confidence 0.70 R\'egis Spadotti

Frequent Coauthors

• Benedikt Ahrens 2 shared papers
• Paolo Capriotti 1 shared papers