17 citations · 18 across the 3 of their papers we have counts for
1 paper · 1 filter
Bruno Barras, Valentin Maestracci
In this paper, we make a substantial step towards an encoding of Cubical Type Theory (CTT) in the Dedukti logical framework. Type-checking CTT expressions features a decision proce…