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

• Κύριος συγγραφέας: Draheim, Dirk (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
• Θέματα: 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...

Πίνακας περιεχομένων:

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