Sequentialization is as fun as bungee jumping - Archive ouverte HAL Access content directly
Conference Papers Year : 2023

Sequentialization is as fun as bungee jumping


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.
Fichier principal
Vignette du fichier
mllseq.pdf (397.57 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04515300 , version 1 (21-03-2024)


  • HAL Id : hal-04515300 , version 1


Rémi Di Guardia, Olivier Laurent, Lionel Vaux, Lorenzo Tortora de Falco. Sequentialization is as fun as bungee jumping. 7th International Workshop on Trends in Linear Logic and Applications (TLLA 2023), Jul 2023, Rome Sapienza Universita di Roma, Italy. ⟨hal-04515300⟩
4 View
0 Download


Gmail Mastodon Facebook X LinkedIn More