Carlos Lombardi

According to our database, Carlos Lombardi authored at least 10 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Postponing the Concept of Class When Introducing OOP.

Nicolás Passerini, Carlos Lombardi

Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

2019

Projections for infinitary rewriting (extended version).

Carlos Lombardi, Alejandro Ríos, Roel de Vrijer

Theor. Comput. Sci., 2019

2017

On abstract normalisation beyond neededness.

Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos

Theor. Comput. Sci., 2017

2016

Projections for Infinitary Rewriting.

Carlos Lombardi, Alejandro Ríos, Roel de Vrijer

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

2014

Proof terms for infinitary rewriting, progress report.

Carlos Lombardi, Alejandro Ríos, Roel de Vrijer

CoRR, 2014

An abstract normalisation result with applications to non-sequential calculi.

Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos

CoRR, 2014

Proof Terms for Infinitary Rewriting.

Carlos Lombardi, Alejandro Ríos, Roel de Vrijer

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

A nonstandard standardization theorem.

Beniamino Accattoli, Eduardo Bonelli, Delia Kesner, Carlos Lombardi

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2012

Normalisation for Dynamic Pattern Calculi.

Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

2010

A standardisation proof for algebraic pattern calculi

Delia Kesner, Carlos Lombardi, Alejandro Ríos

Proceedings of the Proceedings 5th International Workshop on Higher-Order Rewriting, 2010