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

£92.18

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

Name: Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Brand: Springer
Price: 88.48 GBP
Availability: InStock

Compilers

Price History & Forecast

Last 77 days • 66 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 77 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £89 (62 days, 93.9%)

Price range: £88 - £92

Price levels: 3 different prices over 66 days

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

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3662568721
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 04 May 2018
Listed Since: 07 May 2018

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

The Lambda Calculus: Its Syntax and Semantics (Volume 103) (Studies in Logic and the Foundations of Mathematics, Volume 103)

Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series)

Cambridge Two-Level Functional Languages - Series 34 Book

Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

The Lambda Calculus: Its Syntax and Semantics: v. 103 (Studies in Logic and the Foundations of Mathematics)

Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)

Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

Mathematics in Programming

Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... 902 (Lecture Notes in Computer Science, 902)

Probabilistic Extensions of Various Logical Systems

Mathematical Aspects of Logic Programming Semantics: 6 (Chapman & Hall/CRC Studies in Informatics Series)

Springer - Logics of Specification Languages Monograph

Logic and Language Models for Computer Science: Third Edition

Stochastic Relations: Foundations for Markov Transition Systems (Chapman & Hall/CRC Studies in Informatics Series)

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Springer - Logic and Lexicon: The Semantics of the Indefinite 56

Transitions and Trees: An Introduction to Structural Operational Semantics