Semantics of the Probabilistic Typed Lambda Calculus

Semantics of the Probabilistic Typed Lambda Calculus
Author :
Publisher : Springer
Total Pages : 222
Release :
ISBN-10 : 9783642551987
ISBN-13 : 364255198X
Rating : 4/5 (98X Downloads)

Book Synopsis Semantics of the Probabilistic Typed Lambda Calculus by : Dirk Draheim

Download or read book Semantics of the Probabilistic Typed Lambda Calculus written by Dirk Draheim and published by Springer. This book was released on 2017-02-28 with total page 222 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Semantics of the Probabilistic Typed Lambda Calculus Related Books

Semantics of the Probabilistic Typed Lambda Calculus
Language: en
Pages: 222
Authors: Dirk Draheim
Categories: Computers
Type: BOOK - Published: 2017-02-28 - Publisher: Springer

GET EBOOK

This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typ
Semantics of Probabilistic Computation and Logics
Language: en
Pages: 211
Authors: Dirk Draheim
Categories: Mathematics
Type: BOOK - Published: 2016-05-09 - Publisher: Springer

GET EBOOK

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 Types
Language: en
Pages: 969
Authors: Henk Barendregt
Categories: Mathematics
Type: BOOK - Published: 2013-06-20 - Publisher: Cambridge University Press

GET EBOOK

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The
From Lambda Calculus to Cybersecurity Through Program Analysis
Language: en
Pages: 300
Authors: Alessandra Di Pierro
Categories: Mathematics
Type: BOOK - Published: 2020-02-14 - Publisher: Springer Nature

GET EBOOK

This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on the Occasion of His 65th Birthday. Chris Hankin is a Fellow of
Foundations of Probabilistic Programming
Language: en
Pages: 584
Authors: Gilles Barthe
Categories: Computers
Type: BOOK - Published: 2020-12-03 - Publisher: Cambridge University Press

GET EBOOK

What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary qu