Contact
How to shop
Delivery
Shopping guide
Semantics of the Probabilistic Typed Lambda Calculus
Markov Chain Semantics, Termination Behavior, and Denotational Semantics
English
299 b
Delivery to Austria
Up to 30 days for returns
Customers also purchased
/
Hardback
17.79
€
/
Paperback
14.89
€
/
Paperback
15.69
€
Statistics is the language of science; however, the semantics of probabilistic computation and probabilistic reasoning is still matter of discourse. In its first part, the book analyses symbolic computation involving probabilism from scratch. The book establishes rigorous Markov Chain semantics for the typed lambda calculus with recursion and probabilistic choices. It exploits statistical distributions as domains and defines appropriate denotational semantics for the introduced lambda calculus. It proofs important correspondence theorems between the established operational and denotational semantics. In the second part, we review the power of inductive logics as the foundation for expert reasoning systems.
About the book
English
Categories
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
7.19
€
/
Paperback
12.19
€
/
Paperback
19.89
€
/
Paperback
6.49
€
/
Paperback
152.59
€
Hi! I'm Libroamiko, your book advisor.
How can I help you?