Alvaro Tasistro

11 papers Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2017 J jnl
Formal metatheory of the Lambda calculus using Stoughton's substitution.
Theor. Comput. Sci.
Ernesto Copello, Nora Szasz, Alvaro Tasistro
2015 — conf
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.
LSFA
Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández
2015 — conf
Dependent Types for Nominal Terms with Atom Substitutions.
TLCA
Elliot Fairweather, Maribel Fernández, Nora Szasz, Alvaro Tasistro
2015 J jnl
Presentation of Classical Propositional Tableaux on Program Design Premises.
CoRR
Juan Michelini, Alvaro Tasistro
2014 — conf
Case of (Quite) Painless Dependently Typed Programming: Fully Certified Merge Sort in Agda.
SBLP
Ernesto Copello, Alvaro Tasistro, Bruno Bianchi
2014 — conf
Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus.
LSFA
Alvaro Tasistro, Ernesto Copello, Nora Szasz
2014 — conf
Novel Didactic Proof Assistant for First-Order Logic Natural Deduction.
HCI (14)
Jorge Pais, Alvaro Tasistro
2013 J jnl
Proof Assistant Based on Didactic Considerations.
J. Univers. Comput. Sci.
Jorge Pais, Alvaro Tasistro
2010 — conf
A Type-Theoretic Framework for Certified Model Transformations.
SBMF
Daniel Calegari, Carlos Luna, Nora Szasz, Alvaro Tasistro
1999 — conf
Specification of a Smart Card Operating System.
TYPES
Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro
1996 — conf
Abstract Insertion Sort in an Extension of Type Theory with Record Types and Subtyping.
TYPES
Alvaro Tasistro