Similar Items: Unifying Graded Linear Logic and Differential Operators
- A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
- Linear Abadi and Plotkin Logic
- Bounded Linear Logic, Revisited
- Weak topologies for Linear Logic
- On noncommutative extensions of linear logic