A convenient category for higher-order probability theory

A convenient category for higher-order probability theory

Higher-order probabilistic programming languages allow programmers to write sophisticated models in machine learning and statistics in a succinct and structured way, but step outside the standard measure-theoretic formalization of probability theory. Programs may use both higher-order functions and...

Bibliografski detalji
Glavni autori:	Heunen, C, Kammar, O, Staton, S, Yang, H
Format:	Conference item
Izdano:	IEEE 2017

Slični predmeti

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
od: Yang, H, i dr.
Izdano: (2016)

Concrete categories and higher-order recursion
od: Matache, C, i dr.
Izdano: (2022)

Denotational validation of higher-order Bayesian inference
od: Scibior, A, i dr.
Izdano: (2018)

A domain theory for statistical probabilistic programming
od: Vákár, M, i dr.
Izdano: (2019)

Compositional imprecise probability: a solution from graded monads and Markov categories
od: Liell-Cock, J, i dr.
Izdano: (2025)

An embedding theorem for Hilbert categories
od: Heunen, C
Izdano: (2009)

The category of matroids
od: Heunen, C, i dr.
Izdano: (2017)

Characterizations of categories of commutative C*−subalgebras
od: Heunen, C
Izdano: (2014)

Compactly accessible categories and quantum key distribution
od: Heunen, C
Izdano: (2008)

Parametrized higher category theory
od: Shah, Jay (Jay Hungfai Gautam)
Izdano: (2017)

Classical control and quantum circuits in enriched category theory
od: Rennela, M, i dr.
Izdano: (2018)

Higher order automatic differentiation of higher order functions
od: Huot, M, i dr.
Izdano: (2022)

Higher Order Automatic Differentiation of Higher Order Functions
od: Mathieu Huot, i dr.
Izdano: (2022-03-01)

Convenient categories of processes and simulations I: modulo strong bisimilarity
od: Pavlovic, D
Izdano: (1995)

Space in monoidal categories
od: Tull, S, i dr.
Izdano: (2018)

Quantum logic in dagger kernel categories
od: Heunen, C, i dr.
Izdano: (2010)

Quantum logic in dagger kernel categories
od: Heunen, C, i dr.
Izdano: (2009)

Quantum Logic in Dagger Kernel Categories
od: Heunen, C, i dr.
Izdano: (2010)

Compactly accessible categories and quantum key distribution
od: Chris Heunen
Izdano: (2008-11-01)

On the algebraic K-theory of higher categories
od: Barwick, Clark Edward
Izdano: (2017)

Classical control, quantum circuits and linear logic in enriched category theory
od: Rennela, M, i dr.
Izdano: (2020)

A category of classical and quantum channels
od: Coecke, B, i dr.
Izdano: (2012)

Convenient categories of processes and simulations II: modulo weak and branching bisimilarities
od: Pavlovic, D
Izdano: (1996)

Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
od: Mathys Rennela, i dr.
Izdano: (2020-03-01)

Probability matching priors : higher order asymptotics /
od: 287397 Datta, Gauri Sankar, i dr.
Izdano: (2004)

Recursion and sequentiality in categories of sheaves
od: Matache, C, i dr.
Izdano: (2021)

Automated rewriting for higher categories and applications to quantum theory
od: Bar, K
Izdano: (2016)

Fractional Probability Theory of Arbitrary Order
od: Vasily E. Tarasov
Izdano: (2023-02-01)

Fully abstract models for effectful λ-calculi via category-theoretic logical relations
od: Kammar, O, i dr.
Izdano: (2022)

A monad for full ground reference cells
od: Kammar, O, i dr.
Izdano: (2017)

Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
od: Tom Hirschowitz
Izdano: (2013-09-01)

Some formal structures in probability
od: Staton, S
Izdano: (2021)

Category Theory
od: Hoare, C
Izdano: (2015)

A Category of Ordered Algebras Equivalent to the Category of Multialgebras
od: Marcelo Esteban Coniglio, i dr.
Izdano: (2023-08-01)

Duals and adjoints in the factorization higher Morita category
od: Gwilliam, O, i dr.
Izdano: (2018)

Category of SET orders
od: Tian Lan, i dr.
Izdano: (2024-11-01)

Battle of convenience : supermarkets versus convenience stores.
od: Tan, Gee Hong., i dr.
Izdano: (2008)

Higher-order decision theory
od: Hedges, J, i dr.
Izdano: (2017)

Theory of categories /
od: 310508 Mitchell, Barry
Izdano: (1965)

Weakly enriched higher categories
od: Haugseng, Rune
Izdano: (2013)