Pages that link to "Item:Q1929301"

The following pages link to Coreflections in algebraic quantum logic (Q1929301):

Displaying 24 items.

• On block structures in quantum computation (Q265814) (← links)
• The expectation monad in quantum foundations (Q320204) (← links)
• Probabilities, distribution monads, and convex categories (Q549198) (← links)
• Probabilistic systems coalgebraically: a survey (Q639648) (← links)
• Dijkstra and Hoare monads in monadic computation (Q890377) (← links)
• Effect algebras, presheaves, non-locality and contextuality (Q1641007) (← links)
• From probability monads to commutative effectuses (Q1683710) (← links)
• The algebra of partial equivalence relations (Q1744396) (← links)
• Effect algebras as presheaves on finite Boolean algebras (Q1789060) (← links)
• Tensor topology (Q2176086) (← links)
• Tensor product of dimension effect algebras (Q2665826) (← links)
• Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
• Space in Monoidal Categories (Q3384956) (← links)
• Effect Algebras, Presheaves, Non-locality and Contextuality (Q3449492) (← links)
• Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
• Cohomology of Effect Algebras (Q5014790) (← links)
• Total and Partial Computation in Categorical Quantum Foundations (Q5015192) (← links)
• (Q5020645) (← links)
• (Q5427862) (← links)
• (Q5875356) (← links)
• A computer scientist’s reconstruction of quantum theory* (Q5876440) (← links)
• An effect-theoretic account of Lebesgue integration (Q5971402) (← links)
• Axioms for the category of Hilbert spaces and linear contractions (Q6203678) (← links)
• Dichotomy between deterministic and probabilistic models in countably additive effectus theory (Q6645578) (← links)