All'interno del convegno di chiusura del progetto Cofin PROTOCOLLO (15-17 Settembre 2004, Dip.to Informatica, Università di Torino) M. Pagani ha presentato i risultati ottenuti nell'introduzione di un'equivalenza osservazionale nella logica lineare.
Pagani, M. (2004). The problem of separation in Linear Logic.
The problem of separation in Linear Logic
2004-01-01
Abstract
All'interno del convegno di chiusura del progetto Cofin PROTOCOLLO (15-17 Settembre 2004, Dip.to Informatica, Università di Torino) M. Pagani ha presentato i risultati ottenuti nell'introduzione di un'equivalenza osservazionale nella logica lineare.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
