Showing 1 - 2 results of 2 for search 'Carlo Angiuli', query time: 0.02s
Refine Results
-
1
A Cubical Language for Bishop Sets by Jonathan Sterling, Carlo Angiuli, Daniel Gratzer
Published 2022-03-01
Article -
2
The RedPRL Proof Assistant (Invited Paper) by Carlo Angiuli, Evan Cavallo, Kuen-Bang Hou (Favonia), Robert Harper, Jonathan Sterling
Published 2018-07-01
Article