Cut Elimination for Monomial MALL Proof Nets

Olivier Laurent; Roberto Maieli

doi:10.1109/LICS.2008.31

Communication Dans Un Congrès Année : 2008

Cut Elimination for Monomial MALL Proof Nets

(1) , (2)

1
2

Olivier Laurent

Fonction : Auteur
PersonId : 7614
IdHAL : olivier-laurent
IdRef : 067388035

Preuves, Programmes et Systèmes

Roberto Maieli

Fonction : Auteur

Dipartimento di Filosofia

Mots clés

proof nets cut elimination linear logic

Domaines

Logique [math.LO] Logique en informatique [cs.LO]

Olivier Laurent : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00349555

Soumis le : jeudi 1 janvier 2009-16:00:03

Dernière modification le : lundi 22 avril 2024-15:24:55

Dates et versions

hal-00349555 , version 1 (01-01-2009)

Identifiants

HAL Id : hal-00349555 , version 1
DOI : 10.1109/LICS.2008.31

Citer

Olivier Laurent, Roberto Maieli. Cut Elimination for Monomial MALL Proof Nets. Logic in Computer Science, Jun 2008, Pittsburgh, France. pp.486--497, ⟨10.1109/LICS.2008.31⟩. ⟨hal-00349555⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS

49 Consultations

0 Téléchargements

Cut Elimination for Monomial MALL Proof Nets

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager