5 citations · 8 across the 5 of their papers we have counts for
7 papers
The Bang Calculus Revisited
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos +1
Call-by-Push-Value (CBPV) is a programming paradigm subsuming both Callby-Name (CBN) and Call-by-Value (CBV) semantics. The essence of this paradigm is captured by the Bang Calculu…
Call-by-Need, Neededness and All That
Delia Kesner, Alejandro Ríos, Andrés Viso
We show that call-by-need is observationally equivalent to weak-head needed reduction. The proof of this result uses a semantical argument based on a (non-idempotent) intersection…
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…