Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

by Dirk Draheim

Book Overview

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...

• Format: Hardcover
• Language: English
• ISBN: 3642551971
• ISBN13: 9783642551970
• Release Date: March 2017
• Publisher: Springer
• Length: 218 Pages
• Weight: 1.10 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"