Pages that link to "Item:Q685406"
From MaRDI portal
The following pages link to Linear logic, coherence and dinaturality (Q685406):
Displaying 26 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)
- The shuffle Hopf algebra and noncommutative full completeness (Q4254690) (← links)
- Games and full completeness for multiplicative linear logic (Q4302352) (← links)
- (Q4322438) (← links)
- ! and ? – Storage as tensorial strength (Q4715669) (← links)
- Hopf algebras and linear logic (Q4882498) (← links)
- Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← 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)
- Proof nets and semi-star-autonomous categories (Q5741579) (← links)
- Holomorphic models of exponential types in linear logic (Q5890062) (← links)
