5 citations · 10 across the 4 of their papers we have counts for
1 paper · 1 filter
Jonathan Sterling, Carlo Angiuli, Daniel Gratzer
We contribute XTT, a cubical reconstruction of Observational Type Theory which extends Martin-Löf's intensional type theory with a dependent equality type that enjoys function exte…