Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics - Draheim, Dirk.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017)
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.
Keywords: Information theory; Computer science; Theory of Computation; Programming Languages, Compilers, Interpreters; Probability and Statistics in Computer Science