A Cartesian closed category for random variables

DOI10.1145/3661814.3662126MaRDI QIDQ6970245zbMATH OpenFDO

Authors Pietro Di Gianantonio, Abbas Edalat

Publication date 18 June 2025

Full work available at URL https://doi.org/10.1145/3661814.3662126

zbMATH Keywords

denotational semanticsdomain theoryHilbert curvemonadprobabilistic computationrandom variableScott model

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Axioms; other general questions in probability (60A05) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Cites work

• pap spaces: reasoning denotationally about higher-order, recursive probabilistic and differentiable programs
• A Convenient Category for Higher-Order Probability Theory
• A domain-theoretic approach to statistical programming languages
• A monad for randomized algorithms
• A per model of secure information flow in sequential programs
• An abstract data type for real numbers
• An Extension Result for Continuous Valuations
• Boolean-valued semantics for the stochastic \(\lambda \)-calculus
• Commutative monads for probabilistic programming languages
• Continuous domain theory in logical form
• Continuous Lattices and Domains
• CPO's of measures for nondeterminism
• Dirichlet and Related Distributions
• Domain theory and integration
• Domain theory in logical form
• Dynamical systems, measures, and fractals via domain theory
• Effectively given domains
• Fast and loose reasoning is morally correct
• Foundation of a computable solid modelling.
• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 1022658 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• Lattice theory.
• Measure Theory and Probability Theory
• Notions of computation and monads
• On the geometrization of the Peano curve and the arithmetization of the Hilbert curve
• PCF extended with real numbers
• Power domains and iterated function systems
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Statistical distributions.
• Stochastic \(\lambda\)-calculi: an extended abstract

This page was built for publication: A Cartesian closed category for random variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6970245)