Andrés Viso

According to our database, Andrés Viso authored at least 13 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

A Strong Bisimulation for a Classical Term Calculus.

Eduardo Bonelli, Delia Kesner, Andrés Viso

Log. Methods Comput. Sci., 2024

2023

The bang calculus revisited.

Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso

Inf. Comput., August, 2023

2022

Encoding Tight Typing in a Unified Framework.

Delia Kesner, Andrés Viso

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

The Power of Tightness for Call-By-Push-Value.

Delia Kesner, Andrés Viso

CoRR, 2021

A Strong Bisimulation for Control Operators by Means of Multiplicative and Exponential Reduction.

Eduardo Bonelli, Delia Kesner, Andrés Viso

CoRR, 2021

2020

Pure Pattern Calculus à la de Bruijn.

Alexis Martin, Alejandro Ríos, Andrés Viso

CoRR, 2020

Pure Pattern Calculus <i>à la</i> de Bruijn.

Alexis Martin, Alejandro Ríos, Andrés Viso

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

Strong Bisimulation for Control Operators (Invited Talk).

Delia Kesner, Eduardo Bonelli, Andrés Viso

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Typed path polymorphism.

Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso

Theor. Comput. Sci., 2019

Strong Bisimulation for Control Operators.

Eduardo Bonelli, Delia Kesner, Andrés Viso

CoRR, 2019

2018

Call-by-Need, Neededness and All That.

Delia Kesner, Alejandro Ríos, Andrés Viso

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2015

Type Soundness for Path Polymorphism.

Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

Efficient Type Checking for Path Polymorphism.

Juan Edi, Andrés Viso, Eduardo Bonelli

Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015