Ernesto Copello

According to our database, Ernesto Copello authored at least 7 papers between 2014 and 2021.

Collaborative distances:

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

2021

Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention.

Ernesto Copello, Nora Szasz, Álvaro Tasistro

Math. Struct. Comput. Sci., 2021

2018

Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders.

Ernesto Copello, Nora Szasz, Álvaro Tasistro

Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2018

2017

Formal metatheory of the Lambda calculus using Stoughton's substitution.

Ernesto Copello, Nora Szasz, Alvaro Tasistro

Theor. Comput. Sci., 2017

Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory.

Ernesto Copello, Nora Szasz, Álvaro Tasistro

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

2015

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.

Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

2014

Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus.

Alvaro Tasistro, Ernesto Copello, Nora Szasz

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

Case of (Quite) Painless Dependently Typed Programming: Fully Certified Merge Sort in Agda.

Ernesto Copello, Alvaro Tasistro, Bruno Bianchi

Proceedings of the Programming Languages - 18th Brazilian Symposium, 2014