Sequentialization is as fun as bungee jumping
Résumé
We propose a new proof of sequentialization for the proof nets of unit-free multiplicative linear logic with mix. It is based on the search of a splitting parr by means of a simple new lemma about proof structures: the bungee jumping lemma.
Domaines
Logique en informatique [cs.LO]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|