The following pages link to (Q3946875):
Displaying 50 items.
- On block structures in quantum computation (Q265814) (← links)
- The expectation monad in quantum foundations (Q320204) (← links)
- Algebraic properties of stochastic effectivity functions (Q406467) (← links)
- Lattice properties of congruences for stochastic relations (Q424543) (← links)
- Algebraic theory of vector-valued integration (Q424559) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- A stochastic interpretation of game logic (Q516033) (← links)
- Unprovability of the logical characterization of bisimulation (Q549668) (← links)
- Maximal traces and path-based coalgebraic temporal logics (Q639645) (← links)
- Eilenberg--Moore algebras for stochastic relations (Q859832) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Codensity and the Giry monad (Q890663) (← links)
- Proofs of randomized algorithms in Coq (Q923886) (← links)
- Kleisli morphisms and randomized congruences for the Giry monad (Q995624) (← links)
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- Domain semantics of possibility computations (Q1031684) (← links)
- Approximating labelled Markov processes (Q1398379) (← links)
- Measure and probability for concurrency theorists (Q1589655) (← links)
- The factorization of the Giry monad (Q1621453) (← links)
- Functional distribution monads in functional-analytic contexts (Q1678156) (← links)
- From probability monads to commutative effectuses (Q1683710) (← links)
- Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← links)
- Giry and the Machine (Q1744380) (← links)
- A predicate/state transformer semantics for Bayesian learning (Q1744386) (← links)
- Approximate relational Hoare logic for continuous random samplings (Q1744393) (← links)
- The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas} (Q1748385) (← links)
- The converse of a stochastic relation (Q1764800) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- Linking theories in probabilistic programming (Q1961866) (← links)
- Continuous-variable nonlocality and contextuality (Q2124212) (← links)
- A non-commutative Bayes' theorem (Q2125668) (← links)
- A categorical characterization of relative entropy on standard Borel spaces (Q2130589) (← links)
- Category-theoretic structure for independence and conditional independence (Q2130599) (← links)
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Monads, partial evaluations, and rewriting (Q2133473) (← links)
- Borel kernels and their approximation, categorically (Q2134827) (← links)
- Bimonoidal structure of probability monads (Q2134828) (← links)
- Continuous probability distributions in concurrent games (Q2134837) (← links)
- Kan extensions are partial colimits (Q2156417) (← links)
- Program logic for higher-order probabilistic programs in Isabelle/HOL (Q2163157) (← links)
- A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
- Non-Archimedean preferences over countable lotteries (Q2178599) (← links)
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics (Q2189508) (← links)
- All adapted topologies are equal (Q2210750) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Algebraic theories and commutativity in a sheaf topos (Q2307525) (← links)
