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: Paperback
• Language: English
• ISBN: 3662568721
• ISBN13: 9783662568729
• Release Date: May 2018
• Publisher: Springer
• Length: 218 Pages
• Weight: 0.72 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"