syn·thet·ic
Search or jump to…
Ctrl+K
Sign in
home
library
authors
Carlo Angiuli
Carlo Angiuli
Publications
A Cubical Language for Bishop Sets. Jonathan Sterling, Carlo Angiuli, Daniel Gratzer. 2022.
Normalization for Cubical Type Theory. Jonathan Sterling, Carlo Angiuli. 2021.
Internalizing Representation Independence With Univalence. Carlo Angiuli, Evan Cavallo, Anders Mörtberg, Max Zeuner. 2020.