Andrés Ezequiel Viso

Journals

• {EAB}, {DK}, and {AEV}. A Strong Bisimulation for a Classical Term Calculus.
  Logical Methods in Computer Science. 20(2), 2024. [ Paper – BibTeX ]

  @article{BonelliKV24,
    author    = {Eduardo Bonelli and
                 Delia Kesner and
                 Andr{\'{e}}s Viso},
    title     = {A Strong Bisimulation for a Classical Term Calculus},
    journal   = {Log. Methods Comput. Sci.},
    volume    = {20},
    number    = {2},
    year      = {2024},
    url       = {https://doi.org/10.46298/lmcs-20(2:4)2024},
    doi       = {10.46298/LMCS-20(2:4)2024}
  }

• {AB}, {DK}, {ANR}, and {AEV}. The Bang Calculus Revisited.
  Information and Computation. 293: 105047, 2023. [ Paper – BibTeX ]

  @article{BucciarelliKRV23,
    author    = {Antonio Bucciarelli and
                 Delia Kesner and
                 Alejandro R{\'{\i}}os and
                 Andr{\'{e}}s Viso},
    title     = {The Bang Calculus Revisited},
    journal   = {Inf. Comput.},
    volume    = {293},
    pages     = {105047},
    year      = {2023},
    url       = {https://doi.org/10.1016/j.ic.2023.105047},
    doi       = {10.1016/J.IC.2023.105047}
  }

• {MAR}, {EAB}, {JIE}, and {AEV}. Typed Path Polymorphism.
  Theoretical Computer Science. 781: 111-130, 2019. [ Paper – BibTeX ]

  @article{Ayala-RinconBEV19,
    author    = {Mauricio Ayala{-}Rinc{\'{o}}n and
                 Eduardo Bonelli and
                 Juan Edi and
                 Andr{\'{e}}s Viso},
    title     = {Typed Path Polymorphism},
    journal   = {Theor. Comput. Sci.},
    volume    = {781},
    pages     = {111--130},
    year      = {2019},
    url       = {https://doi.org/10.1016/j.tcs.2019.02.018},
    doi       = {10.1016/J.TCS.2019.02.018}
  }

Conferences

• {DK}, and {AEV}. Encoding Tight Typing in a Unified Framework.
  Proceedings of 30th EACSL Annual Conference on Computer Science Logic (CSL), Göttingen, Germany, February 14-19, 2022. [ Paper – Report – BibTeX ]

  @inproceedings{KesnerV22,
    author    = {Delia Kesner and
                 Andr{\'{e}}s Viso},
    editor    = {Florin Manea and
                 Alex Simpson},
    title     = {Encoding Tight Typing in a Unified Framework},
    booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
                 February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
    series    = {LIPIcs},
    volume    = {216},
    pages     = {27:1--27:20},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
    year      = {2022},
    url       = {https://doi.org/10.4230/LIPIcs.CSL.2022.27},
    doi       = {10.4230/LIPICS.CSL.2022.27}
  }

• {AM}, {ANR}, and {AEV}. Pure Pattern Calculus à la de Bruijn.
  Proceedings of 15th International Workshop on Logical and Semantic Frameworks with Applications (LSFA), Online, September 15, 2020. [ Paper – Report – BibTeX ]

  @inproceedings{MartinRV20,
    author    = {Alexis Mart{\'{\i}}n and
                 Alejandro R{\'{\i}}os and
                 Andr{\'{e}}s Viso},
    editor    = {Cl{\'{a}}udia Nalon and
                 Giselle Reis},
    title     = {Pure Pattern Calculus \emph{{\`{a}} la} de Bruijn},
    booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
                 Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
    series    = {Electronic Notes in Theoretical Computer Science},
    volume    = {351},
    pages     = {95--113},
    publisher = {Elsevier},
    year      = {2020},
    url       = {https://doi.org/10.1016/j.entcs.2020.08.006},
    doi       = {10.1016/J.ENTCS.2020.08.006}
  }

• {AB}, {DK}, {ANR}, and {AEV}. The Bang Calculus Revisited.
  Proceedings of 15th International Symposium on Functional and Logic Programming (FLOPS), Akita, Japan, September 14-16, 2020. [ Paper – Report – BibTeX ]

  @inproceedings{BucciarelliKRV20,
    author    = {Antonio Bucciarelli and
                 Delia Kesner and
                 Alejandro R{\'{\i}}os and
                 Andr{\'{e}}s Viso},
    editor    = {Keisuke Nakano and
                 Konstantinos Sagonas},
    title     = {The Bang Calculus Revisited},
    booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
                 2020, Akita, Japan, September 14-16, 2020, Proceedings},
    series    = {Lecture Notes in Computer Science},
    volume    = {12073},
    pages     = {13--32},
    publisher = {Springer},
    year      = {2020},
    url       = {https://doi.org/10.1007/978-3-030-59025-3\_2},
    doi       = {10.1007/978-3-030-59025-3\_2}
  }

• {EAB}, {DK}, and {AEV}. Strong Bisimulation for Control Operators.
  Proceedings of 28th EACSL International Conference on Computer Science and Logic (CSL), Barcelona, Spain, January 13-16, 2020. [ Paper – Report – BibTeX ]

  @inproceedings{BonelliKV20,
    author    = {Eduardo Bonelli and
                 Delia Kesner and
                 Andr{\'{e}}s Viso},
    editor    = {Maribel Fern{\'{a}}ndez and
                 Anca Muscholl},
    title     = {Strong Bisimulation for Control Operators},
    booktitle = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020,
                 January 13-16, 2020, Barcelona, Spain},
    series    = {LIPIcs},
    volume    = {152},
    pages     = {4:1--4:23},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
    year      = {2020},
    url       = {https://doi.org/10.4230/LIPIcs.CSL.2020.4},
    doi       = {10.4230/LIPICS.CSL.2020.4}
  }

• {DK}, {ANR}, and {AEV}. Call-by-Need, Neededness and All That.
  Proceedings of 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Thessaloniki, Greece, April 14-20, 2018. [ Paper – Report – BibTeX ]

  @inproceedings{KesnerRV18,
    author    = {Delia Kesner and
                 Alejandro R{\'{\i}}os and
                 Andr{\'{e}}s Viso},
    editor    = {Christel Baier and
                 Ugo Dal Lago},
    title     = {Call-by-Need, Neededness and All That},
    booktitle = {Foundations of Software Science and Computation Structures - 21st
                 International Conference, {FOSSACS} 2018, Held as Part of the European
                 Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
                 Thessaloniki, Greece, April 14-20, 2018, Proceedings},
    series    = {Lecture Notes in Computer Science},
    volume    = {10803},
    pages     = {241--257},
    publisher = {Springer},
    year      = {2018},
    url       = {https://doi.org/10.1007/978-3-319-89366-2\_13},
    doi       = {10.1007/978-3-319-89366-2\_13}
  }

• {EAB}, {JIE}, and {AEV}. Efficient Type Checking for Path Polymorphism.
  Post-proceedings of 21st International Conference on Types for Proofs and Programs (TYPES), Tallinn, Estonia, May 18-21, 2015. [ Paper – Report – BibTeX ]

  @inproceedings{BonelliEV15,
    author    = {Eduardo Bonelli and
                 Juan Edi and
                 Andr{\'{e}}s Viso},
    editor    = {Tarmo Uustalu},
    title     = {Efficient Type Checking for Path Polymorphism},
    booktitle = {21st International Conference on Types for Proofs and Programs, {TYPES}
                 2015, May 18-21, 2015, Tallinn, Estonia},
    series    = {LIPIcs},
    volume    = {69},
    pages     = {6:1--6:23},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
    year      = {2015},
    url       = {https://doi.org/10.4230/LIPIcs.TYPES.2015.6},
    doi       = {10.4230/LIPICS.TYPES.2015.6}
  }

• {MAR}, {EAB}, and {AEV}. Type Soundness for Path Polymorphism.
  Proceedings of 10th Workshop on Logical and Semantic Frameworks, with Applications (LSFA), Natal, Brazil, August 31 - September 1, 2015. [ Paper – Report – BibTeX ]

  @inproceedings{Ayala-RinconBV15,
    author    = {Mauricio Ayala{-}Rinc{\'{o}}n and
                 Eduardo Bonelli and
                 Andr{\'{e}}s Viso},
    editor    = {Mario R. F. Benevides and
                 Ren{\'{e}} Thiemann},
    title     = {Type Soundness for Path Polymorphism},
    booktitle = {Proceedings of the 10th Workshop on Logical and Semantic Frameworks,
                 with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
                 1, 2015},
    series    = {Electronic Notes in Theoretical Computer Science},
    volume    = {323},
    pages     = {235--251},
    publisher = {Elsevier},
    year      = {2015},
    url       = {https://doi.org/10.1016/j.entcs.2016.06.015},
    doi       = {10.1016/J.ENTCS.2016.06.015}
  }

Theses

• PhD Thesis: {AEV}. Un estudio semántico sobre extensiones avanzadas del λ-cálculo: patrones y operadores de control.
  Advisors: {EAB} and {DK}. {DC}, {FCEN}, {UBA}, Argentina. 22 July, 2020. [ Thesis – BibTeX ]

  @phdthesis{Viso20,
    author    = {Andr{\'{e}}s Viso}, 
    title     = {Un estudio sem{\'{a}}ntico sobre extensiones avanzadas del
                 $\lambda$-c{\'{a}}lculo: patrones y operadores de control},
    school    = {Universidad de Buenos Aires},
    year      = {2020},
    month     = {7}
  }

• Master's Thesis: {AEV}. Sistemas de tipos para λ-cálculo y Lógica Combinatoria.
  Advisor: {AA}. {DC}, {FCEN}, {UBA}, Argentina. 23 February, 2010. [ Thesis – BibTeX ]

  @mastersthesis{Viso10,
    author    = {Andr{\'{e}}s Viso}, 
    title     = {Sistemas de tipos para $\lambda$-c{\'{a}}lculo y L{\'{o}}gica
                 Combinatoria},
    school    = {Universidad de Buenos Aires},
    year      = {2010},
    month     = {2}
  }

2020

• Lógica y Programacion. Licenciatura en Informática, {UNQ}.

2019

• Lógica y Programacion. Licenciatura en Informática, {UNQ}.

2018

• Lenguajes Formales y Autómatas. Licenciatura en Informática, {UNQ}.
• Lógica y Programacion. Licenciatura en Informática, {UNQ}.

2017

• Lenguajes Formales y Autómatas. Licenciatura en Informática, {UNQ}.
• Lógica y Programacion. Licenciatura en Informática, {UNQ}.

2016

• Lenguajes Formales y Autómatas. Licenciatura en Informática, {UNQ}.
• Lógica y Programacion. Licenciatura en Informática, {UNQ}.

2015

• Estructuras de Datos. Tecnicatura Universitaria en Programación Informática, {UNQ}.
• Lógica y Programacion. Licenciatura en Informática, {UNQ}.

2014

• Programación Funcional. Tecnicatura Universitaria en Programación Informática, {UNQ}.