Semantics of the Probabilistic Typed Lambda Calculus

Released on by Dirk Draheim
preview-18

  • Semantics of the Probabilistic Typed Lambda Calculus Book Detail

  • Author : Dirk Draheim
  • Release Date : 2017-02-28
  • Publisher : Springer
  • Genre : Computers
  • Pages : 222
  • ISBN 13 : 364255198X
  • File Size : 65,65 MB
DOWNLOAD BOOK

Semantics of the Probabilistic Typed Lambda Calculus by Dirk Draheim PDF Summary

Book Description: 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. The work mostly appeals to researchers in theoretical computer science focusing on probabilistic programming, randomized algorithms, or programming language theory.

Disclaimer: www.yourbookbest.com does not own Semantics of the Probabilistic Typed Lambda Calculus books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

File Size : 50,50 MB
Total View : 6963 Views
DOWNLOAD

This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil