1 citations · 2 across the 3 of their papers we have counts for
4 papers
Projections for infinitary rewriting
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Proof terms in term rewriting are a representation means for reduction sequences, and more in general for contraction activity, allowing to distinguish e.g simultaneous from sequen…
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…
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…
A standardisation proof for algebraic pattern calculi
Delia Kesner, Carlos Lombardi, Alejandro Ríos
This work gives some insights and results on standardisation for call-by-name pattern calculi. More precisely, we define standard reductions for a pattern calculus with constructor…