The following pages link to (Q4342439):
Displaying 28 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)
- 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)
- (Q4555337) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- (Q4993336) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- (Q5019688) (← links)
- (Q5028428) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← 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)
- On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)
