| Speaker: | Roberto Maieli (Università Roma Tre)
|
||
| Quando: | 20/12/2019 - 11:30
|
||
| Dove: | Aula 311, Palazzina C,
Dipartimento di Matematica e Fisica,
L.go San Leonardo Murialdo 1
|
||
|
Abstract
We investigate the notion of generalized link (module) of the pure multiplicative fragment of Linear Logic (MLL). We then present a computation paradigm based on a concurrent and incremental construction of graphical modular proofs of MLL. |
|||