Semantics of the Probabilistic Typed Lambda Calculus

ISBN: 3642551971

Category: Uncategorized

Tag: Database/SQL


Posted on 2018-07-09, by nokia241186.

Description




Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics by Dirk Draheim
English | 12 Mar. 2017 | ISBN: 3642551971 | 228 Pages | PDF | 2 MB



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 stoppability 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.
DOWNLOAD
(Buy premium account for maximum speed and resuming ability)








Sponsored High Speed Downloads
8740 dl's @ 2985 KB/s
Download Now [Full Version]
5913 dl's @ 3866 KB/s
Download Link 1 - Fast Download
5767 dl's @ 3161 KB/s
Download Mirror - Direct Download



Search More...
Semantics of the Probabilistic Typed Lambda Calculus

Search free ebooks in ebookee.com!


Related Archive Books

Archive Books related to "Semantics of the Probabilistic Typed Lambda Calculus":



Links
Download this book

No active download links here?
Please check the description for download links if any or do a search to find alternative books.


Related Books


Comments

No comments for "Semantics of the Probabilistic Typed Lambda Calculus".


    Add Your Comments
    1. Download links and password may be in the description section, read description carefully!
    2. Do a search to find mirrors if no download links or dead links.
    Back to Top