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)