Pages that link to "Item:Q1337357"

The following pages link to Semantics of weakening and contraction (Q1337357):

Displaying 46 items.

• Probabilities, distribution monads, and convex categories (Q549198) (← links)
• Resource modalities in tensor logic (Q636303) (← links)
• On coalgebras over algebras (Q639641) (← links)
• Maximal traces and path-based coalgebraic temporal logics (Q639645) (← links)
• Probabilistic systems coalgebraically: a survey (Q639648) (← links)
• Dijkstra and Hoare monads in monadic computation (Q890377) (← links)
• Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
• An equational notion of lifting monad (Q1398461) (← links)
• Domain theory for concurrency (Q1434357) (← links)
• Lifting results for categories of algebras (Q1605183) (← links)
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
• Functional distribution monads in functional-analytic contexts (Q1678156) (← links)
• From probability monads to commutative effectuses (Q1683710) (← links)
• Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
• Algebraic presentation of semifree monads (Q2104481) (← links)
• Category-theoretic structure for independence and conditional independence (Q2130599) (← links)
• Combining algebraic effect descriptions using the tensor of complete lattices (Q2133480) (← links)
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics (Q2189508) (← links)
• Domain-theoretical models of parametric polymorphism (Q2464940) (← links)
• Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
• Game Semantics for Quantum Data (Q2825342) (← links)
• Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems (Q2873666) (← links)
• Coalgebraic Components in a Many-Sorted Microcosm (Q2888477) (← links)
• On Coalgebras over Algebras (Q2919449) (← links)
• Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics (Q2919451) (← links)
• Universal Properties in Quantum Theory (Q3385637) (← links)
• From parametric polymorphism to models of polymorphic FPC (Q3395309) (← links)
• A model of intuitionistic affine logic from stable domain theory (Q4632438) (← links)
• Partial Recursive Functions and Finality (Q4922089) (← links)
• Ambiguity and Incomplete Information in Categorical Models of Language (Q5014785) (← links)
• (Q5028467) (← links)
• Relating two categorical models of term rewriting (Q5055833) (← links)
• Weakest preconditions in fibrations (Q5058365) (← links)
• (Q5089251) (← links)
• Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
• Game Semantics for Quantum Stores (Q5415636) (← links)
• Semimodule Enrichment (Q5415638) (← links)
• Lawvere Categories as Composed PROPs (Q5739447) (← links)
• Affine Monads and Side-Effect-Freeness (Q5739449) (← links)
• Quantale-Enriched Multicategories Via Actions (Q5868038) (← links)
• Linear Logic Properly Displayed (Q5886520) (← links)
• Restriction categories. I: Categories of partial maps (Q5958307) (← links)
• Reversible monadic computing (Q5971401) (← links)
• From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (Q6649497) (← links)
• Coalgebraic CTL: fixpoint characterization and polynomial-time model checking (Q6666771) (← links)