Álvaro Tasistro

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

Nora Szasz, Sebastián Urciuoli, Álvaro Tasistro, 2020, LSFA.

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

Nora Szasz, Álvaro Tasistro, Ernesto Copello, 2021, Mathematical Structures in Computer Science.

Principles of Alpha-Induction and Recursion for the Lambda Calculus in Constructive Type Theory

Maribel Fernández, Nora Szasz, Álvaro Tasistro, 2015 .

Extension of Martin-Lf's Type Theory with Record Types and Subtyping

Álvaro Tasistro, Gustavo Betarte, Álvaro Tasistro, 1998 .