Alvaro Tasistro

Publication Activity (10 Years)

Years Active: 1996-2017
Publications (10 Years): 1

Top Topics

Lambda Calculus

Database Query Languages

Top Venues

J. Univers. Comput. Sci.

Publications

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