Pages that link to "Item:Q4342439"

The following pages link to Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories (Q4342439):

Displaying 36 items.

• Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
• Modeling linear logic with implicit functions (Q392296) (← links)
• Deep inference and probabilistic coherence spaces (Q452333) (← links)
• Categories for computation in context and unified logic (Q678833) (← links)
• Coherent phase spaces. Semiclassical semantics (Q705538) (← links)
• Symmetric categorial grammar (Q843772) (← links)
• The logic of message-passing (Q923880) (← links)
• Girard couples of quantales (Q969691) (← links)
• Glueing and orthogonality for models of linear logic (Q1398466) (← links)
• Exhausting strategies, joker games and full completeness for IMLL with unit (Q1398468) (← links)
• Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
• \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic (Q1840462) (← links)
• A note on full intuitionistic linear logic (Q1919548) (← links)
• Simple free star-autonomous categories and full coherence (Q1936110) (← links)
• The continuous weak order (Q2196345) (← links)
• Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
• Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories (Q2825368) (← links)
• Multiplicative linear logics and fibrations (Q2842824) (← links)
• Quantum coherent spaces and linear logic (Q2998726) (← links)
• Generalised Proof-Nets for Compact Categories with Biproducts (Q3560838) (← links)
• Linear distributivity with negation, star-autonomy, and Hopf monads (Q4555337) (← links)
• A comparison between monoidal and substructural logics (Q4586159) (← links)
• Natural deduction and coherence for non-symmetric linearly distributive categories (Q4704202) (← links)
• (Q4993336) (← links)
• Aspects of Categorical Recursion Theory (Q5014598) (← links)
• (Q5019688) (← links)
• (Q5028428) (← links)
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
• Multiple conclusion linear logic: cut elimination and more (Q5108019) (← links)
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
• Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)
• Multiple Conclusion Linear Logic: Cut Elimination and More (Q5283420) (← links)
• On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)
• Stabilized profunctors and stable species of structures (Q6563041) (← links)
• Causality in higher order process theories (Q6646307) (← links)
• \(\ast\)-autonomous envelopes and conservativity (Q6657790) (← links)