Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics /
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Formato: | eBook |
| Lenguaje: | English |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2017.
|
| Edición: | 1st ed. 2017. |
| Materias: |
Tabla de Contenidos:
- 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.