Álvaro Tasistro

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 6

Top Topics

Lambda Calculus

Provably Correct

Curriculum Development

Database Query Languages

Top Venues

Math. Struct. Comput. Sci.

Publications

Ernesto Copello, Nora Szasz, Álvaro Tasistro
Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention. Math. Struct. Comput. Sci. 31 (3) (2021)
Sebastián Urciuoli, Álvaro Tasistro, Nora Szasz
Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda. LSFA (2020)
Silvana Moreno, Diego Vallespir, Álvaro Tasistro
Teaching of formal methods: evidence of its inclusion in curricula, results, and difficulties. CIbSE (2019)
Martín Copes, Nora Szasz, Álvaro Tasistro
Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution. LFMTP@FSCD (2018)
Ernesto Copello, Nora Szasz, Álvaro Tasistro
Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders. LFMTP@FSCD (2018)
Ernesto Copello, Nora Szasz, Álvaro Tasistro
Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory. LSFA (2017)