Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Te
144,32 €
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.
Jetzt bei Ebay:
![Produktbild - Dynamic Probabilistic Systems, Volume I: Markov Models [Volume 1] [Dover Books o](https://i.ebayimg.com/thumbs/images/g/IccAAOSwB-1YpJiq/s-l140.jpg)
