Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Subjects: |
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.