processing...
home
authors
Carlo Angiuli
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
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.