nLab
Carlo Angiuli
Publications
My web page.
Publications
- Computational Higher Type Theory I: Abstract Cubical Realizability, Carlo Angiuli, Robert Harper, Todd Wilson?, arxiv, 2016
- Computational Higher Type Theory II: Dependent Cubical Realizability, Carlo Angiuli, Robert Harper, arxiv, 2016
- Computational Higher Type Theory III: Univalent Universes and Exact Equality, Carlo Angiuli, Kuen-Bang Hou, Robert Harper, arxiv, 2017
Created on June 9, 2022 at 12:08:44.
See the history of this page for a list of all contributions to it.