9 citations · 10 across the 3 of their papers we have counts for
1 paper · 1 filter
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
We generalize the notion of proof term to the realm of transfinite reduction. Proof terms represent reductions in the first-order term format, thereby facilitating their formal ana…