Efficient Type Checking for Path Polymorphism. - Juan Edi; Andrés Viso; Eduardo Bonelli (TYPES, 2015)

Type Soundness for Path Polymorphism. - Andrés Viso; Eduardo Bonelli; Mauricio Ayala-Rincón (LSFA, 2015)

Call-by-Need, Neededness and All That. - Delia Kesner; Alejandro Ríos 001; Andrés Viso (FoSSaCS, 2018)

Strong Bisimulation for Control Operators. - Eduardo Bonelli; Delia Kesner; Andrés Viso (CoRR, 2019)

Typed path polymorphism. - Mauricio Ayala-Rincón; Eduardo Bonelli; Juan Edi; Andrés Viso (Theor. Comput. Sci., 2019)

Strong Bisimulation for Control Operators (Invited Talk). - Delia Kesner; Eduardo Bonelli; Andrés Viso (CSL, 2020)

Pure Pattern Calculus à la de Bruijn. - Alexis Martin; Alejandro Ríos 001; Andrés Viso (LSFA, 2020)

Pure Pattern Calculus à la de Bruijn. - Alexis Martin; Alejandro Ríos 001; Andrés Viso (CoRR, 2020)

A Strong Bisimulation for Control Operators by Means of Multiplicative and Exponential Reduction. - Eduardo Bonelli; Delia Kesner; Andrés Viso (CoRR, 2021)

The Power of Tightness for Call-By-Push-Value. - Delia Kesner; Andrés Viso (CoRR, 2021)

Encoding Tight Typing in a Unified Framework. - Delia Kesner; Andrés Viso (CSL, 2022)

The bang calculus revisited. - Antonio Bucciarelli; Delia Kesner; Alejandro Ríos 001; Andrés Viso (Inf. Comput., 2023)

A Strong Bisimulation for a Classical Term Calculus. - Eduardo Bonelli; Delia Kesner; Andrés Viso (Log. Methods Comput. Sci., 2024)