The following pages link to (Q3827993):
Displayed 50 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Coalgebras, Chu spaces, and representations of physical systems (Q358691) (← links)
- Big toy models. Representing physical systems as Chu spaces (Q383003) (← links)
- Modeling linear logic with implicit functions (Q392296) (← links)
- Quantum-like logics and schizophrenia (Q420845) (← links)
- Deep inference and probabilistic coherence spaces (Q452333) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Coherence for modalities (Q531368) (← links)
- Quasi-prime algebraic domains (Q672133) (← links)
- Nonsymmetric \(^{\ast}\)-autonomous categories (Q673964) (← links)
- Weakly distributive categories (Q674463) (← links)
- Equational theories for inductive types (Q678762) (← links)
- Categories for computation in context and unified logic (Q678833) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Interaction graphs: multiplicatives (Q714715) (← links)
- Notions of computation and monads (Q757075) (← links)
- The proof monad (Q974136) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- Quantitative domains and infinitary algebras (Q1185015) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- The logic of structures (Q1196790) (← links)
- Full intuitionistic linear logic (Q1314646) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- Semantics of weakening and contraction (Q1337357) (← links)
- Constant-only multiplicative linear logic is NP-complete (Q1342254) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- A general adequacy result for a linear functional language (Q1391860) (← links)
- Domain theory for concurrency (Q1434357) (← links)
- Realizability models for BLL-like languages (Q1827395) (← links)
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic (Q1840462) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Variations on mobile processes (Q1960530) (← links)
- On sheaf cohomology and natural expansions (Q2054954) (← links)
- Revising the link between \(L\)-Chu correspondences and completely lattice \(L\)-ordered sets. (Q2254616) (← links)
- Differential categories revisited (Q2307523) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- An abstract approach to stratification in linear logic (Q2343125) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- Accessible categories and models of linear logic (Q2639952) (← links)
- Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
- A Classical Propositional Logic for Reasoning About Reversible Logic Circuits (Q2820684) (← links)
- (Q3986546) (← links)
- Girard quantaloids (Q4006239) (← links)
- (Q4322438) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- An explicit formula for the free exponential modality of linear logic (Q4577986) (← links)