Pages that link to "Item:Q685406"

The following pages link to Linear logic, coherence and dinaturality (Q685406):

Displaying 41 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)
• Equality of proofs for linear equality (Q944225) (← links)
• Coherence in linear predicate logic (Q1011758) (← 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)
• Coherence in inquisitive first-order logic (Q2159932) (← links)
• On stability of exactness properties under the pro-completion (Q2217538) (← 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)
• Applications of methods of proof theory in category theory. (Q2744122) (← links)
• On linear Brouwerian logics (Q2922494) (← links)
• Non-crossing Tree Realizations of Ordered Degree Sequences (Q2964006) (← links)
• Acyclicity and Coherence in Multiplicative Exponential Linear Logic (Q3613361) (← links)
• Some Syntactical Observations on Linear Logic (Q3986870) (← links)
• The shuffle Hopf algebra and noncommutative full completeness (Q4254690) (← links)
• Games and full completeness for multiplicative linear logic (Q4302352) (← links)
• (Q4322438) (← links)
• (Q4360709) (← links)
• Natural deduction and coherence for non-symmetric linearly distributive categories (Q4704202) (← links)
• ! and ? – Storage as tensorial strength (Q4715669) (← links)
• (Q4842969) (← links)
• Hopf algebras and linear logic (Q4882498) (← links)
• Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← links)
• On Compositionality of Dinatural Transformations (Q5079758) (← links)
• A categorical reduction system for linear logic (Q5137919) (← 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)
• Specification structures and propositions-as-types for concurrency (Q6560388) (← links)
• Monoidal streams for dataflow programming (Q6649486) (← links)
• \(\ast\)-autonomous envelopes and conservativity (Q6657790) (← links)