Convexity and Order in Probabilistic Call-by-Name FPC

Mathys Rennela

Type: Preprint

Publication Date: 2016-01-01

Citations: 1

DOI: https://doi.org/10.48550/arxiv.1607.04332

View Publication

Locations

arXiv (Cornell University) - View - PDF
CWI's Institutional Repository (Centrum Wiskunde & Informatica) - View - PDF
DOAJ (DOAJ: Directory of Open Access Journals) - View
DataCite API - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Commutative Monads for Probabilistic Programming Languages	2021	Xiaodong Jia Bert Lindenhovius Michael Mislove Vladimir Zamdzhiev
+ PDF Chat	A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories	2023	Younesse Kaddar Sam Staton
+	A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories	2023	Younesse Kaddar Sam Staton
+ PDF Chat	A Probabilistic and Non-Deterministic Call-by-Push-Value Language	2019	Jean Goubault-Larrecq
+	A Probabilistic and Non-Deterministic Call-by-Push-Value Language	2018	Jean Goubault-Larrecq
+	A Probabilistic and Non-Deterministic Call-by-Push-Value Language	2018	Jean Goubault-Larrecq
+	A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism	2020	Reynald Affeldt Jacques Garrigue David Nowak Takafumi Saikawa
+	A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism	2020	Reynald Affeldt Jacques Garrigue David Nowak Takafumi Saikawa
+ PDF Chat	A trustful monad for axiomatic reasoning with probability and nondeterminism	2021	Reynald Affeldt Jacques Garrigue David Nowak Takafumi Saikawa
+	Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets	2023	Nathanael Ackerman Cameron E. Freer Younesse Kaddar Jacek Karwowski Sean Moss Daniel M. Roy Sam Staton Hongseok Yang
+ PDF Chat	Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets	2024	Nathanael Ackerman Cameron E. Freer Younesse Kaddar Jacek Karwowski Sean Moss Daniel Roy Sam Staton Hongseok Yang
+	Lambda Calculus and Probabilistic Computation	2019	Claudia Faggian Simona Ronchi Della Rocca
+	Lambda Calculus and Probabilistic Computation	2019	Claudia Faggian Simona Ronchi Della Rocca
+ PDF Chat	From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality	2013	Robert Furber Bart Jacobs
+ PDF Chat	Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming	2017	Thomas Ehrhard Michele Pagani Christine Tasson
+	Differentials and distances in probabilistic coherence spaces	2019	Thomas Ehrhard
+ PDF Chat	Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints	2016	Sam Staton Hongseok Yang Chris Heunen Ohad Kammar Frank Wood
+ PDF Chat	Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints	2016	Sam Staton Frank Wood Hongseok Yang Chris Heunen Ohad Kammar
+ PDF Chat	Comodule Representations of Second-Order Functionals	2024	Danel Ahman Andrej Bauer
+	Semantics for probabilistic programming	2016	Sam Staton Hongseok Yang Frank Wood Chris Heunen Ohad Kammar

Works That Cite This (1)

Action	Title	Year	Authors
+ PDF Chat	Commutative Monads for Probabilistic Programming Languages	2021	Xiaodong Jia Bert Lindenhovius Michael Mislove Vladimir Zamdzhiev

Works Cited by This (10)

Action	Title	Year	Authors
+	A presentation of the category of stochastic matrices	2009	T. A. Fritz
+	Cartesian closed categories of domains	1989	Achim Jung
+ PDF Chat	From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality	2013	Robert Furber Bart Jacobs
+	Algebraically compact functors	1992	Michael Barr
+	Recursive Data Types in Algebraically ω-Complete Categories	1995	Jiřı́ Adámek
+ PDF Chat	FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES	1963	F. William Lawvere
+ PDF Chat	Full Abstraction for Probabilistic PCF	2018	Thomas Ehrhard Michele Pagani Christine Tasson
+ PDF Chat	Generic Trace Semantics via Coinduction	2007	Ichiro Hasuo Bart Jacobs Ana Sokolova
+	Mixed powerdomains for probability and nondeterminism	2017	Klaus Keimel Gordon Plotkin
+	Algebraically complete categories	1991	Peter Freyd