The following pages link to (Q3946875):
Displaying 33 items.
- Stochastic order on metric spaces and the ordered Kantorovich monad (Q2309111) (← links)
- A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Reduction semantics in Markovian process algebra (Q2413025) (← links)
- An axiomatization of information flow measures (Q2422017) (← links)
- Program algebra for quantitative information flow (Q2423771) (← links)
- Bisimulation and cocongruence for probabilistic systems (Q2495642) (← links)
- Final coalgebras for functors on measurable spaces (Q2495647) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- Bisimulation for labelled Markov processes (Q2506488) (← links)
- Probabilistic Inference by Program Transformation in Hakaru (System Description) (Q2798260) (← links)
- An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages (Q2802487) (← links)
- Categories of Timed Stochastic Relations (Q2805158) (← links)
- Labelled Markov Processes as Generalised Stochastic Relations (Q2864159) (← links)
- Probabilistic operational semantics for the lambda calculus (Q2905328) (← links)
- Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics (Q2919451) (← links)
- Categorical approach to modelling and to coupling of models (Q2960160) (← links)
- Pointless Learning (Q2988379) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- Classifying financial markets up to isomorphism (Q5161081) (← links)
- Bisimilarity of Distributionally Equivalent Markov Transition Systems (Q5415607) (← links)
- Dirichlet is natural (Q5971396) (← links)
- An effect-theoretic account of Lebesgue integration (Q5971402) (← links)
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)
- Non-commutative disintegrations: existence and uniqueness in finite dimensions (Q6082530) (← links)
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces (Q6145528) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- A concrete model for a typed linear algebraic lambda calculus (Q6149958) (← links)
- Control-data separation and logical condition propagation for efficient inference on probabilistic programs (Q6151609) (← links)
- Multilevel Delayed Acceptance MCMC (Q6164127) (← links)
- A categorical characterization of relative entropy on standard Borel spaces (Q6178676) (← links)
- Value Iteration is Optic Composition (Q6190614) (← links)
