This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, which is the typed lambda calculus with recursion plus probabilistic choice. The book starts with a recapitulation of the basic mathematical tools needed throughout the book, in particular Markov chains, graph theory and domain theory, and also explores the topic of inductive definitions. It then defines the syntax and establishes the Markov chain semantics of the probabilistic lambda calculus and, furthermore, both a graph and a tree semantics. Based on that, it investigates the termination behavior of probabilistic programs. It introduces the notions of termination degree, bounded termination and path stop ability and investigates their mutual relationships. Lastly, it defines a denotational semantics of the probabilistic lambda calculus, based on continuous functions over probability distributions as domains.
You may also like
Calculus with Applications, 11th Edition by Lial, Greenwell, and Ritchey, is our most applied text to date, making the math relevant and accessible for...
James Stewart’s well-received Calculus Concepts and Contexts 2nd Edition by James Stewart follows in the path of the other best-selling books by this...
- Calculus with Applications, 11th Edition by Margaret L. Lial PDF
- Physics for Scientists and Engineers with Modern Physics 4th Edition PDF
- Precalculus 6th Edition by Margaret Lial PDF
- Mechanics of Materials, 8th Edition by Ferdinand Beer PDF
- Calculus Concepts and Contexts 2nd Edition by James Stewart PDF