5 citations · 8 across the 5 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014
On abstract normalisation beyond neededness
Eduardo Bonelli, Delia Kesner, Carlos Lombardi +1
We study normalisation of multistep strategies, strategies that reduce a set of redexes at a time, focussing on the notion of necessary sets, those which contain at least one redex…
cs.LO2014★ 1 cited
Proof terms for infinitary rewriting, progress report
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…