Multiplicatives

Link identifier archive #link-archive-thumb-soap-13018
Multiplicatives
Link identifier #identifier__78037-1Link identifier #identifier__95648-2
Venerdì 20 dicembre, alle ore 11.30, presso l'aula 311 di Largo San Leonardo Murialdo 1, il prof. Roberto Maieli del Dipartimento di Matematica e Fisica dell' Università degli Studi Roma Tre, terrà un Seminario di Logica e Informatica Teorica dal titolo " Multiplicatives ".

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.