Proof nets, garbage, and computations

Guerrini, S.; Martini, S.; Masini, A.

doi:10.1007/3-540-62688-3_36

CATALOGO DEI PRODOTTI DELLA RICERCA

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

We study the problem of local and asynchronous computation in the context of multiplicative exponential linear logic proof nets. The main novelty lies in a complete set of rewriting rules for cut-elimination in the presence of weakening (which requires garbage collection). The proposed reduction system is strongly normalizing and confluent.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/430366

Titolo:	Proof nets, garbage, and computations
Autori interni:	MASINI, Andrea
Data di pubblicazione:	1997
Abstract:	We study the problem of local and asynchronous computation in the context of multiplicative exponential linear logic proof nets. The main novelty lies in a complete set of rewriting rules for cut-elimination in the presence of weakening (which requires garbage collection). The proposed reduction system is strongly normalizing and confluent.
Handle:	http://hdl.handle.net/11562/430366
Appare nelle tipologie:	04.01 Contributo in atti di convegno

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Citazioni
ND

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.