scientific article; zbMATH DE number 7359406
From MaRDI portal
Publication:4993336
DOI10.4230/LIPIcs.FSCD.2018.10zbMath1462.03029MaRDI QIDQ4993336
Gianluigi Bellin, Willem Heijltjes
Publication date: 15 June 2021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Correctness of linear logic proof structures is NL-complete
- Linear logic
- Weakly distributive categories
- The structure of multiplicatives
- Full intuitionistic linear logic
- Exhausting strategies, joker games and full completeness for IMLL with unit
- A note on full intuitionistic linear logic
- Simple free star-autonomous categories and full coherence
- Proof equivalence in MLL is PSPACE-complete
- Some Syntactical Observations on Linear Logic
- Multiple Conclusion Linear Logic: Cut Elimination and More
- Parsing MELL proof nets
This page was built for publication: