Two new publications in collaboration between Argentina and France have been accepted at the 15th International Symposium on Functional and Logic Programming (FLOPS 2020).
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, and Andrés Viso. “The Bang Calculus Revisited”.
Beniamino Accattoli and Alejandro Díaz-Caro. “The Distributive λ-Calculus”.