Home
Proofs
Library
Chat
Docs
Notif.
Billing
Settings
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.