We introduce a new class of multiplicative proof nets, J-proof nets,which are a typed version of Faggian and Maurel's multiplicative L-nets.In J-proof nets,we can characterize nets with different degrees of sequentiality, by gradual insertion of sequentiality constraints. As a byproduct, we obtain a simple proof of the sequentialisation theorem.

DI GIAMBERARDINO, P., Faggian, C. (2006). Jump from parallel to sequential proofs: multiplicatives.. In Lecture Notes in Computer Science 4207 (pp.319-333). Berlin Heidelberg : Springer Verlag.

Jump from parallel to sequential proofs: multiplicatives.

DI GIAMBERARDINO, Paolo;
2006-01-01

Abstract

We introduce a new class of multiplicative proof nets, J-proof nets,which are a typed version of Faggian and Maurel's multiplicative L-nets.In J-proof nets,we can characterize nets with different degrees of sequentiality, by gradual insertion of sequentiality constraints. As a byproduct, we obtain a simple proof of the sequentialisation theorem.
2006
3-540-45458-6}
DI GIAMBERARDINO, P., Faggian, C. (2006). Jump from parallel to sequential proofs: multiplicatives.. In Lecture Notes in Computer Science 4207 (pp.319-333). Berlin Heidelberg : Springer Verlag.
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11590/271931
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact