HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Rémi Di Guardia

Publications
Bottom-up Sequentialization of Unit-Free MALL Proof Nets
Rémi Di Guardia and Olivier Laurent
EasyChair Preprint 8431

Keyphrases

linear logic, Multiplicative-additive fragment, proof-net, sequentialization.

Copyright © 2012-2025 easychair.org. All rights reserved.