Stochastic lambda calculus and monads of probability distributions
From MaRDI portal
Publication:5178903
DOI10.1145/503272.503288zbMath1323.68150MaRDI QIDQ5178903
Publication date: 17 March 2015
Published in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/503272.503288
68N18: Functional programming and lambda calculus
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
A Calculus for Game-Based Security Proofs, Measure Transformer Semantics for Bayesian Machine Learning, Computable de Finetti measures, Probabilistic modelling, inference and learning using logical theories, Proofs of randomized algorithms in Coq, Formal security proofs with minimal fuss: implicit computational complexity at work, Probabilistic reasoning in a classical logic, Probabilistic π-Calculus and Event Structures, Probabilistic operational semantics for the lambda calculus, Computable Exchangeable Sequences Have Computable de Finetti Measures, The Computational SLR: A Logic for Reasoning about Computational Indistinguishability