Gabriele Vanoni and Paolo Pistone will present their accepted papers, namely "The Space of Interaction" (by Vanoni, Accattoli and Dal Lago) and "On Generalized Metric Spaces for the Simply Typed Lambda-Calculus" (by Pistone). See http://easyconferences.eu/lics2021/program/ for more details.
Date:
Type: Conference