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
  • October 19. LIA INFINIS workshop will take place at UBA.
  • July 24-29, 2017. Alejandro Díaz-Caro will be giving a course at the ECI 2017 in Buenos Aires.
  • April 25, 2017. Alejandro Díaz-Caro will be giving a seminar in the IFLP, La Plata.
  • April 20-21, 2017. Alejandro Díaz-Caro will be at Facultad de Ingeniería (UdelaR), Montevideo.
  • 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.
  • Latest publications
  • Juan Edi, Eduardo Bonelli, and Andrés Viso. Efficient Type Checking for Path Polymorphism. To appear in Post-proceedings of TYPES 2015.
  • Pablo Arrighi, Alejandro Díaz-Caro, and Benoît Valiron. The Vectorial Lambda-Calculus. Information and Computation, Volume 254(1), Paper 5. 2017.
  • Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, and 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.
  • Recent and upcoming visitors
  • July 10-21, 2017. Simon Perdrix.
  • June 22-30, 2017. Gilles Dowek.
  • May 4-14, 2017. Delia Kesner.
  • 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.