scientific article; zbMATH DE number 3764843
From MaRDI portal
Publication:3946875
Cited in
(only showing first 100 items - show all)- Coalgebraic logic for stochastic right coalgebras
- Domain semantics of possibility computations
- Approximating labelled Markov processes
- Measure and probability for concurrency theorists
- The factorization of the Giry monad
- Functional distribution monads in functional-analytic contexts
- From probability monads to commutative effectuses
- Markov chains and Markov decision processes in Isabelle/HOL
- Giry and the Machine
- A predicate/state transformer semantics for Bayesian learning
- Approximate relational Hoare logic for continuous random samplings
- The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas}
- The converse of a stochastic relation
- Domain theory, testing and simulation for labelled Markov processes
- A behavioural pseudometric for probabilistic transition systems
- Long-term values in Markov decision processes, (co)algebraically
- (In)finite trace equivalence of probabilistic transition systems
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Linking theories in probabilistic programming
- Continuous-variable nonlocality and contextuality
- A non-commutative Bayes' theorem
- A categorical characterization of relative entropy on standard Borel spaces
- Category-theoretic structure for independence and conditional independence
- On bisimilarity in lambda calculi with continuous probabilistic choice
- Monads, partial evaluations, and rewriting
- Borel kernels and their approximation, categorically
- Bimonoidal structure of probability monads
- Continuous probability distributions in concurrent games
- Kan extensions are partial colimits
- Program logic for higher-order probabilistic programs in Isabelle/HOL
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- Non-Archimedean preferences over countable lotteries
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
- All adapted topologies are equal
- A compositional modelling and analysis framework for stochastic hybrid systems
- Algebraic theories and commutativity in a sheaf topos
- Stochastic order on metric spaces and the ordered Kantorovich monad
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- Structural operational semantics for continuous state stochastic transition systems
- Recursively defined metric spaces without contraction
- Reduction semantics in Markovian process algebra
- An axiomatization of information flow measures
- Program algebra for quantitative information flow
- Bisimulation and cocongruence for probabilistic systems
- Final coalgebras for functors on measurable spaces
- Approximating and computing behavioural distances in probabilistic transition systems
- Bisimulation for labelled Markov processes
- On block structures in quantum computation
- Probabilistic inference by program transformation in Hakaru (system description)
- An application of computable distributions to the semantics of probabilistic programming languages
- Categories of timed stochastic relations
- Labelled Markov processes as generalised stochastic relations
- Probabilistic operational semantics for the lambda calculus
- Generic infinite traces and path-based coalgebraic temporal logics
- Categorical approach to modelling and to coupling of models
- Pointless learning
- Commutative semantics for probabilistic programming
- The expectation monad in quantum foundations
- Algebraic properties of stochastic effectivity functions
- Lattice properties of congruences for stochastic relations
- Algebraic theory of vector-valued integration
- Approximating Markov processes through filtration
- Codensity lifting of monads and its dual
- Coalgebraic infinite traces and Kleisli simulations
- Free complete Wasserstein algebras
- DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
- Extensional equality preservation and verified generic programming
- On the correctness of monadic backward induction
- A monad for probabilistic point processes
- scientific article; zbMATH DE number 7453174 (Why is no real title available?)
- Compositional game theory with mixed strategies: probabilistic open games using a distributive law
- Nonparametric Estimations and the Diffeological Fisher Metric
- Synthetic topology in Homotopy Type Theory for probabilistic programming
- Bisimulation as a logical relation
- Probability, valuations, hyperspace: three monads on Top and the support as a morphism
- scientific article; zbMATH DE number 7552812 (Why is no real title available?)
- The sheaf-theoretic structure of non-locality and contextuality
- A trustful monad for axiomatic reasoning with probability and nondeterminism
- A stochastic interpretation of game logic
- Classifying financial markets up to isomorphism
- Probabilistic logics based on Riesz spaces
- A channel-based perspective on conjugate priors
- Disintegration and Bayesian inversion via string diagrams
- Probabilistic_Prime_Tests
- Bisimilarity of distributionally equivalent Markov transition systems
- Bisimulation for Markov decision processes through families of functional expressions
- Unprovability of the logical characterization of bisimulation
- Affine Monads and Side-Effect-Freeness
- Mahavier limits: theory and applications
- Verified analysis of random binary tree structures
- Dirichlet is natural
- An effect-theoretic account of Lebesgue integration
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
- Non-commutative disintegrations: existence and uniqueness in finite dimensions
- Retracing some paths in process algebra
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
- Divergences on monads for relational program logics
- A concrete model for a typed linear algebraic lambda calculus
- Control-data separation and logical condition propagation for efficient inference on probabilistic programs
- Multilevel Delayed Acceptance MCMC
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3946875)
