37 citations · 133 across the 20 of their papers we have counts for
1 paper · 1 filter
Robert Harper, Frank Pfenning
Decidability of definitional equality and conversion of terms into canonical form play a central role in the meta-theory of a type-theoretic logical framework. Most studies of defi…