Login

Draheim, Dirk

Semantics of the Probabilistic Typed Lambda Calculus

Draheim, Dirk - Semantics of the Probabilistic Typed Lambda Calculus, ebook

130,70€

Ebook, PDF with Adobe DRM
ISBN: 9783642551987
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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)
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

Similar titles