We study the problem of local and asynchronous computation in the context of multiplicative exponential linear logic (MELL) proof nets. The main novelty is in a complete set of rewriting rules for cut-elimination in presence of weakening (which requires garbage collection). The proposed reduction system is strongly normalizing and confluent.
CITATION STYLE
Guerrini, S., Martini, S., & Masini, A. (1997). Proof nets, garbage, and computations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1210, pp. 181–195). Springer Verlag. https://doi.org/10.1007/3-540-62688-3_36
Mendeley helps you to discover research relevant for your work.