Pages that link to "Item:Q685406"
From MaRDI portal
The following pages link to Linear logic, coherence and dinaturality (Q685406):
Displaying 18 items.
- Categories for computation in context and unified logic (Q678833) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- On the \(\pi\)-calculus and linear logic (Q1342247) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- G-dinaturality. (Q1400601) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Simple free star-autonomous categories and full coherence (Q1936110) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- On paradoxes in normal form (Q2288281) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- Non-crossing Tree Realizations of Ordered Degree Sequences (Q2964006) (← links)
- On Compositionality of Dinatural Transformations (Q5079758) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
