Speaker:  Stefano Del Vecchio (Università Roma Tre  LIPN, Université Paris Nord)


Quando:  07/10/2016  11:30


Dove:  Aula 311 della Sezione di Matematica del Dipartimento di Matematica e Fisica
Largo San Leonardi Murialdo 1, Roma – Palazzina C, III piano


Abstract
In the setting of process algebras (CCS; picalculus; etc.), linear logic gave a substantial contribution to the extension of the CurryHoward isomorphism to such calculi, used to model concurrent systems. The focus of this work is the multiplicative fragment of CCS, which simpli_es the problem, and thus the solutions, which can be later extended to the full calculus. 