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.
EnglishWe 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.
| Titolo: | Proof nets, garbage, and computations |
| Autori: | |
| 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.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2020