1 citations · 2 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2011★ 1 cited
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…
cs.LO2011★ 1 cited
Swapping: a natural bridge between named and indexed explicit substitution calculi
Ariel Mendelzon, Alejandro Ríos, Beta Ziliani
This article is devoted to the presentation of lambda_rex, an explicit substitution calculus with de Bruijn indexes and a simple notation. By being isomorphic to lambda_ex - a rece…