scientific article; zbMATH DE number 7450001
From MaRDI portal
Publication:5018485
zbMath1486.03107arXiv1904.06846MaRDI QIDQ5018485
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1904.06846
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Resource modalities in tensor logic
- Glueing and orthogonality for models of linear logic
- Calculi for interaction
- Coherence in closed categories
- On the Relation of Interaction Semantics to Continuations and Defunctionalization
- A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus
- On traced monoidal closed categories
- Classical logic, continuation semantics and abstract machines
- Classical linear logic of implications
- Geometry of Interaction and linear combinatory algebras
- Traced monoidal categories
- CONCUR 2005 – Concurrency Theory
This page was built for publication:
