Carlos Lombardi

11 papers A* 1B 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2020 B conf
Postponing the Concept of Class When Introducing OOP.
ITiCSE
Nicolás Passerini, Carlos Lombardi
2019 J jnl
Projections for infinitary rewriting (extended version).
Theor. Comput. Sci.
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
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 A* conf
A nonstandard standardization theorem.
POPL
Beniamino Accattoli, Eduardo Bonelli, Delia Kesner, Carlos Lombardi
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