Alvaro Tasistro

According to our database, Alvaro Tasistro authored at least 17 papers between 1996 and 2021.

Collaborative distances:

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

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

2020

Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda.

Sebastián Urciuoli, Álvaro Tasistro, Nora Szasz

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

2019

Teaching of formal methods: evidence of its inclusion in curricula, results, and difficulties.

Silvana Moreno, Diego Vallespir, Álvaro Tasistro

Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

2018

Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution.

Martín Copes, Nora Szasz, Álvaro Tasistro

Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 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

Presentation of Classical Propositional Tableaux on Program Design Premises.

Juan Michelini, Alvaro Tasistro

CoRR, 2015

Dependent Types for Nominal Terms with Atom Substitutions.

Elliot Fairweather, Maribel Fernández, Nora Szasz, Alvaro Tasistro

Proceedings of the 13th International Conference on Typed Lambda Calculi and 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

Novel Didactic Proof Assistant for First-Order Logic Natural Deduction.

Jorge Pais, Alvaro Tasistro

Proceedings of the Learning and Collaboration Technologies. Designing and Developing Novel Learning Experiences, 2014

2013

Proof Assistant Based on Didactic Considerations.

Jorge Pais, Alvaro Tasistro

J. Univers. Comput. Sci., 2013

2010

A Type-Theoretic Framework for Certified Model Transformations.

Daniel Calegari, Carlos Luna, Nora Szasz, Alvaro Tasistro

Proceedings of the Formal Methods: Foundations and Applications, 2010

1999

Specification of a Smart Card Operating System.

Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro

Proceedings of the Types for Proofs and Programs, 1999

1996

Abstract Insertion Sort in an Extension of Type Theory with Record Types and Subtyping.

Alvaro Tasistro

Proceedings of the Types for Proofs and Programs, 1996