Pages that link to "Item:Q4006228"
From MaRDI portal
The following pages link to *-Autonomous categories and linear logic (Q4006228):
Displaying 47 items.
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- Quasi-prime algebraic domains (Q672133) (← links)
- Nonsymmetric \(^{\ast}\)-autonomous categories (Q673964) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- Orthocomplementation and compound systems (Q861639) (← links)
- Remarks on classifications and adjunctions (Q861977) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- Chu connections and back diagonals between \(\mathcal{Q}\)-distributors (Q899562) (← links)
- Chu spaces from the representational viewpoint (Q1295426) (← links)
- Semantics of weakening and contraction (Q1337357) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- Constructing process categories (Q1391863) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Exhausting strategies, joker games and full completeness for IMLL with unit (Q1398468) (← links)
- Chu spaces as a semantic bridge between linear logic and mathematics. (Q1398475) (← links)
- Category of Chu spaces over S-Act category (Q1750766) (← links)
- *-autonomous categories, revisited (Q1921351) (← links)
- Variations on mobile processes (Q1960530) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- Generalizing topological set operators (Q2130603) (← links)
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- A topologist's view of Chu spaces (Q2471013) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- Topological categories, quantaloids and Isbell adjunctions (Q2634700) (← links)
- Accessible categories and models of linear logic (Q2639952) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Quantum coherent spaces and linear logic (Q2998726) (← links)
- On traced monoidal closed categories (Q3625674) (← links)
- (Q4239751) (← links)
- Games and full completeness for multiplicative linear logic (Q4302352) (← links)
- (Q4322438) (← links)
- A linear/producer/consumer model of classical linear logic (Q4637629) (← links)
- Jets and differential linear logic (Q4988427) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Cofree objects in the centralizer and the center categories (Q5077325) (← links)
- (Q5079725) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
- (Q5227516) (← links)
- A Monoidal Category of Bifinite Chu Spaces (Q5415626) (← links)
- Proof nets and semi-star-autonomous categories (Q5741579) (← links)
- On the symmetry of sequentiality (Q5890040) (← links)
- Holomorphic models of exponential types in linear logic (Q5890062) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
