14 citations · 30 across the 16 of their papers we have counts for
1 paper · 1 filter
Tiago M. L. Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz +1
We use a labelled deduction system based on the concept of computational paths (sequences of rewrites) as equalities between two terms of the same type. We also define a term rewri…