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

• Main Author: Draheim, Dirk (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
• Subjects: Computer science.; Programming languages (Electronic computers).; Computers.; Mathematical statistics.; Computer Science.; Theory of Computation.; Programming Languages, Compilers, Interpreters.; Probability and Statistics in Computer Science.

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

Table of Contents:

• Part I: The Probabilistic Lambda-Calculus and its Semantics
• Introduction
• Syntax and Operational Semantics
• The Working Probabilistic Lambda Calculus
• Properties of the Markov Chain Semantics
• Denotational Semantics
• Semantical Correspondences
• Categorical Treatment
• Probabilism and Non-Determinism
• Part II: Natural Probabilistic Reasoning
• On Natural Two-Tier Semantics for Propositional Logics
• Natural Semantics of Propositions
• Finite Discrete Stochastics Reconsidered
• Lambda-Calculus Definitions
• Markov Chains
• Basic Logic Language and Semantics Definitions
• References
• Index.