Carlo Angiuli

Identifiers

No identifiers captured yet.

Papers (4)

1. The RedPRL Proof Assistant (Invited Paper) cs.LO · 2018 · author #1
2. Computational Higher Type Theory III: Univalent Universes and Exact Equality cs.LO · 2017 · author #1
3. Computational Higher Type Theory II: Dependent Cubical Realizability cs.LO · 2016 · author #1
4. Computational Higher Type Theory I: Abstract Cubical Realizability cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Robert Harper 4 shared papers
• Evan Cavallo 1 shared papers
• Jonathan Sterling 1 shared papers
• Kuen-Bang Hou 1 shared papers
• Kuen-Bang Hou (Favonia) 1 shared papers
• Todd Wilson 1 shared papers