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 J-proof nets, which is the typed version of the L-nets of Faggian and Maurel. |
Jump from Parallel to Sequential Proofs: Additives |
Pi-calculus in differential interaction nets
|
Interazionismo logico
|
Concorrenza e reti di interazione differenziali
|
Geometria della logica
|