Speaker:  Paolo Di Giamberardino


Quando:  19/04/2007  16:00


Dove:  Aula 19  Facoltà Lettere e Filosofia  Università Roma Tre


Abstract
In a previous work, we introduced a framework for the proof nets of the multiplicative fragment of Linear Logic, where partially sequentialised nets are allowed. In this seminar we extend this result to include additives, using a deï¬nition of proof nets, called Jproof nets, which is the typed version of the Lnets of Faggian and Maurel. 