Welcome to the homepage of our research group: Logic and Rewriting for Programming Languages. The topics of interest include: Rewriting and Lambda Calculus, Type Systems, and Logical Methods with a focus on their application to Programming Languages.
Recent and upcoming events
  • July 24-29, 2017. Alejandro Díaz-Caro will be giving a course at the ECI 2017 in Buenos Aires.
  • April 3-12, 2017. Alejandro Díaz-Caro will be at ENS-Cachan, Paris.
  • March 23, 2017. Jornada de lógica, computación e información cuántica will take place at UNQ.
  • December 5-6, 2016. FoQCoSS Kickoff Workshop will take place at UNQ.
  • October 2016: Alejandro Díaz-Caro will be giving the course at CACIC 2016 in San Luis.
  • May 2016: Alejandro Díaz-Caro will be at ENS-Cachan, Paris.
  • Jan/Dec 2016. Eduardo Bonelli will be at the Stevens Institute of Technology as an invited professor.
  • Latest publications
  • Pablo Arrighi, Alejandro Díaz-Caro, and Benoît Valiron. The Vectorial Lambda-Calculus. To appear in Information and Computation. 2017.
  • Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi, Retractions in intersection typesIn Proceedings of ITRS 2016.
  • Alejandro Díaz-Caro and Pablo E. Martínez López. Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of λ⁺. In ACM Post-proceedings of IFL 2015.
  • Mauricio Ayala Rincón, Eduardo Bonelli and Andrés Viso. Type Soundness for Path Polymorphism. In Proceedings of LSFA 2015.
  • Alejandro Díaz-Caro and Abuzer Yakaryılmaz. Affine computation and affine automatonCSR 2016.
  • Recent and upcoming visitors
  • June 22-30, 2017. Gilles Dowek.
  • March 23-26, 2017. Octavio Malherbe.
  • December 2016. Gilles Dowek, Pablo Arrighi, Simon Martiel, Stefano Facchini, Benoît Valiron, Renaud Vilmart, Octavio Malherbe.
  • April 2016. Delia Kesner.
  • July 2015. Abuzer Yakaryilmaz and Thibaut Balabonski.
  • Feb/Mar 2015. Bernard Serpette.
  • November 5-6, 2014. Delia Kesner.
  • November 2014. Jose Santos.
  • September 2014. Delia Kesner.
  • August 2014. Thibaut Balabonski.
  • May 5-16, 2014. Delia Kesner and Antonio Bucciarelli.