Alejandro Ríos

35 papers B 2Misc 1Journal 19Unranked 13
YearRankTypeTitle / Venue / Authors
2023 J jnl
The bang calculus revisited.
Inf. Comput.
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso
2020 — conf
Pure Pattern Calculus
LSFA
Alexis Martin, Alejandro Ríos, Andrés Viso
2020 J jnl
Pure Pattern Calculus à la de Bruijn.
CoRR
Alexis Martin, Alejandro Ríos, Andrés Viso
2020 Misc conf
The Bang Calculus Revisited.
FLOPS
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso
2020 J jnl
The Bang Calculus Revisited.
CoRR
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso
2019 J jnl
Projections for infinitary rewriting (extended version).
Theor. Comput. Sci.
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
2018 B conf
Call-by-Need, Neededness and All That.
FoSSaCS
Delia Kesner, Alejandro Ríos, Andrés Viso
2018 J jnl
Call-by-need, neededness and all that.
CoRR
Delia Kesner, Alejandro Ríos, Andrés Viso
2017 J jnl
On abstract normalisation beyond neededness.
Theor. Comput. Sci.
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos
2016 — conf
Projections for Infinitary Rewriting.
LSFA
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
2016 J jnl
Projections for infinitary rewriting.
CoRR
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
2014 J jnl
An abstract normalisation result with applications to non-sequential calculi.
CoRR
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos
2014 — conf
Proof Terms for Infinitary Rewriting.
RTA-TLCA
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
2014 J jnl
Proof terms for infinitary rewriting, progress report.
CoRR
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
2012 — conf
Normalisation for Dynamic Pattern Calculi.
RTA
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos
2010 — conf
A standardisation proof for algebraic pattern calculi
HOR
Delia Kesner, Carlos Lombardi, Alejandro Ríos
2010 — conf
Swapping: a natural bridge between named and indexed explicit substitution calculi
HOR
Ariel Mendelzon, Alejandro Ríos, Beta Ziliani
2009 J jnl
The lambda-calculus with constructors: Syntax, confluence and separation.
J. Funct. Program.
Ariel Arbiser, Alexandre Miquel, Alejandro Ríos
2007 J jnl
The Weak Normalization of the Simply Typed lambda-
Log. J. IGPL
Ariel Arbiser, Fairouz Kamareddine, Alejandro Ríos
2006 — conf
A Lambda-Calculus with Constructors.
RTA
Ariel Arbiser, Alexandre Miquel, Alejandro Ríos
2005 J jnl
Relating Higher-order and First-order Rewriting.
J. Log. Comput.
Eduardo Bonelli, Delia Kesner, Alejandro Ríos
2005 J jnl
de Bruijn Indices for Metaterms.
J. Log. Comput.
Eduardo Bonelli, Delia Kesner, Alejandro Ríos
2003 — conf
Explicit substitutions à la de Bruijn: the local and global way.
Mathematics, Logic and Computation @ ICALP
Fairouz Kamareddine, Alejandro Ríos
2002 J jnl
Pure Type Systems with de Bruijn Indices.
Comput. J.
Fairouz Kamareddine, Alejandro Ríos
2001 — conf
From Higher-Order to First-Order Rewriting.
RTA
Eduardo Bonelli, Delia Kesner, Alejandro Ríos
2000 — conf
A de Bruijn Notation for Higher-Order Rewriting.
RTA
Eduardo Bonelli, Delia Kesner, Alejandro Ríos
2000 J jnl
Relating the λσ- and λs-styles of explicit substitutions.
J. Log. Comput.
Fairouz Kamareddine, Alejandro Ríos
1998 J jnl
Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi.
Log. J. IGPL
Fairouz Kamareddine, Alejandro Ríos
1998 J jnl
Calculi of Generalized beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions.
J. Funct. Log. Program.
Fairouz Kamareddine, Alejandro Ríos, J. B. Wells
1997 — conf
Explicit Substitutions for the Lambda-Calculus.
ALP/HOA
Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos
1997 J jnl
Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms.
J. Funct. Program.
Fairouz Kamareddine, Alejandro Ríos
1996 — conf
Generalized beta-Reduction and Explicit Substitution.
PLILP
Fairouz Kamareddine, Alejandro Ríos
1996 J jnl
Strong Normalizations of Substitutions.
J. Log. Comput.
Pierre-Louis Curien, Thérèse Hardin, Alejandro Ríos
1995 — conf
A Lambda-Calculus à la de Bruijn with Explicit Substitutions
PLILP
Fairouz Kamareddine, Alejandro Ríos
1992 B conf
Strong Normalization of Substitutions.
MFCS
Pierre-Louis Curien, Thérèse Hardin, Alejandro Ríos