Draheim, Dirk
Semantics of the Probabilistic Typed Lambda Calculus
Table of contents
1. Introduction
Dirk Draheim
2. Preliminary Mathematics
Dirk Draheim
3. Syntax and Operational Semantics
Dirk Draheim
4. Termination Behavior
Dirk Draheim
5. Denotational Semantics
Dirk Draheim
Keywords: Computer Science, Theory of Computation, Programming Languages, Compilers, Interpreters, Probability and Statistics in Computer Science
- Author(s)
- Draheim, Dirk
- Publisher
- Springer
- Publication year
- 2017
- Language
- en
- Edition
- 1
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783642551987
- Printed ISBN
- 978-3-642-55197-0