The RedPRL Proof Assistant (Invited Paper)
Angiuli, Carlo, Cavallo, Evan, Hou (Favonia), Kuen-Bang, Harper, Robert, Sterling, Jonathan
Published in Electronic proceedings in theoretical computer science (03.07.2018)
Published in Electronic proceedings in theoretical computer science (03.07.2018)
Get full text
Journal Article
Internalizing representation independence with univalence
Angiuli, Carlo, Cavallo, Evan, Mörtberg, Anders, Zeuner, Max
Published in Proceedings of ACM on programming languages (01.01.2021)
Published in Proceedings of ACM on programming languages (01.01.2021)
Get full text
Journal Article
The equivariant model structure on cartesian cubical sets
Awodey, Steve, Cavallo, Evan, Coquand, Thierry, Riehl, Emily, Sattler, Christian
Year of Publication 26.06.2024
Year of Publication 26.06.2024
Get full text
Journal Article
The equivariant model structure on cartesian cubical sets
Awodey, Steve, Cavallo, Evan, Coquand, Thierry, Riehl, Emily, Sattler, Christian
Published in arXiv.org (26.06.2024)
Get full text
Published in arXiv.org (26.06.2024)
Paper
The RedPRL Proof Assistant (Invited Paper)
Angiuli, Carlo, Cavallo, Evan, Kuen-Bang Hou, Harper, Robert, Sterling, Jonathan
Published in arXiv.org (05.07.2018)
Published in arXiv.org (05.07.2018)
Get full text
Paper
Journal Article