Strong Normalization of Substitutions. - Pierre-Louis Curien; Thérèse Hardin; Alejandro Ríos 001 (MFCS, 1992)

A Lambda-Calculus à la de Bruijn with Explicit Substitutions - Fairouz Kamareddine; Alejandro Ríos 001 (PLILP, 1995)

Generalized beta-Reduction and Explicit Substitution. - Fairouz Kamareddine; Alejandro Ríos 001 (PLILP, 1996)

Strong Normalizations of Substitutions. - Pierre-Louis Curien; Thérèse Hardin; Alejandro Ríos 001 (J. Log. Comput., 1996)

Explicit Substitutions for the Lambda-Calculus. - Gilles Barthe; Fairouz Kamareddine; Alejandro Ríos 001 (ALP/HOA, 1997)

Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms. - Fairouz Kamareddine; Alejandro Ríos 001 (J. Funct. Program., 1997)

Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi. - Fairouz Kamareddine; Alejandro Ríos 001 (Log. J. IGPL, 1998)

Calculi of Generalized beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions. - Fairouz Kamareddine; Alejandro Ríos 001; J. B. Wells (J. Funct. Log. Program., 1998)

A de Bruijn Notation for Higher-Order Rewriting. - Eduardo Bonelli; Delia Kesner; Alejandro Ríos 001 (RTA, 2000)

Relating the λσ- and λs-styles of explicit substitutions. - Fairouz Kamareddine; Alejandro Ríos 001 (J. Log. Comput., 2000)

From Higher-Order to First-Order Rewriting. - Eduardo Bonelli; Delia Kesner; Alejandro Ríos 001 (RTA, 2001)

Pure Type Systems with de Bruijn Indices. - Fairouz Kamareddine; Alejandro Ríos 001 (Comput. J., 2002)

Explicit substitutions à la de Bruijn: the local and global way. - Fairouz Kamareddine; Alejandro Ríos 001 (Mathematics, Logic and Computation @ ICALP, 2003)

de Bruijn Indices for Metaterms. - Eduardo Bonelli; Delia Kesner; Alejandro Ríos 001 (J. Log. Comput., 2005)

Relating Higher-order and First-order Rewriting. - Eduardo Bonelli; Delia Kesner; Alejandro Ríos 001 (J. Log. Comput., 2005)

A Lambda-Calculus with Constructors. - Ariel Arbiser; Alexandre Miquel; Alejandro Ríos 001 (RTA, 2006)

The Weak Normalization of the Simply Typed lambda-se-calculus. - Ariel Arbiser; Fairouz Kamareddine; Alejandro Ríos 001 (Log. J. IGPL, 2007)

The lambda-calculus with constructors: Syntax, confluence and separation. - Ariel Arbiser; Alexandre Miquel; Alejandro Ríos 001 (J. Funct. Program., 2009)

Swapping: a natural bridge between named and indexed explicit substitution calculi - Ariel Mendelzon; Alejandro Ríos 001; Beta Ziliani (HOR, 2010)

A standardisation proof for algebraic pattern calculi - Delia Kesner; Carlos Lombardi; Alejandro Ríos 001 (HOR, 2010)

Normalisation for Dynamic Pattern Calculi. - Eduardo Bonelli; Delia Kesner; Carlos Lombardi; Alejandro Ríos 001 (RTA, 2012)

Proof Terms for Infinitary Rewriting. - Carlos Lombardi; Alejandro Ríos 001; Roel de Vrijer (RTA-TLCA, 2014)

An abstract normalisation result with applications to non-sequential calculi. - Eduardo Bonelli; Delia Kesner; Carlos Lombardi; Alejandro Ríos 001 (CoRR, 2014)

Proof terms for infinitary rewriting, progress report. - Carlos Lombardi; Alejandro Ríos 001; Roel de Vrijer (CoRR, 2014)

Projections for Infinitary Rewriting. - Carlos Lombardi; Alejandro Ríos 001; Roel de Vrijer (LSFA, 2016)

On abstract normalisation beyond neededness. - Eduardo Bonelli; Delia Kesner; Carlos Lombardi; Alejandro Ríos 001 (Theor. Comput. Sci., 2017)

Call-by-Need, Neededness and All That. - Delia Kesner; Alejandro Ríos 001; Andrés Viso (FoSSaCS, 2018)

Projections for infinitary rewriting (extended version). - Carlos Lombardi; Alejandro Ríos 001; Roel de Vrijer (Theor. Comput. Sci., 2019)

Pure Pattern Calculus à la de Bruijn. - Alexis Martin; Alejandro Ríos 001; Andrés Viso (LSFA, 2020)

Pure Pattern Calculus à la de Bruijn. - Alexis Martin; Alejandro Ríos 001; Andrés Viso (CoRR, 2020)

The bang calculus revisited. - Antonio Bucciarelli; Delia Kesner; Alejandro Ríos 001; Andrés Viso (Inf. Comput., 2023)