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)

A nonstandard standardization theorem. - Beniamino Accattoli; Eduardo Bonelli; Delia Kesner; Carlos Lombardi (POPL, 2014)

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)

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

Postponing the Concept of Class When Introducing OOP. - Nicolás Passerini; Carlos Lombardi (ITiCSE, 2020)