scientific article; zbMATH DE number 7450004
From MaRDI portal
Publication:5018489
zbMath1486.03109arXiv1904.06849MaRDI QIDQ5018489
Lê Thành Dũng Nguyên, Thomas Seiller
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1904.06849
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Enumerating Independent Linear Inferences ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interaction graphs: graphings
- Visible acyclic differential nets. I: Semantics
- A survey of the algorithmic aspects of modular decomposition
- Geometry of interaction. V: Logic in the hyperfinite factor
- Interaction graphs: multiplicatives
- Differential interaction nets
- Interaction graphs: additives
- On three approaches to conjugacy in semigroups.
- Coherence for compact closed categories
- Complement reducible graphs
- Glueing and orthogonality for models of linear logic
- Handsome proof-nets: Perfect matchings and cographs
- Proofs without syntax
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- A new correctness criterion for MLL proof nets
- Conflict nets
- Proof nets for unit-free multiplicative-additive linear logic
This page was built for publication:
