All books / Book
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
| Full title: | Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics |
|---|---|
| ISBN: | 9783662568729 |
| ISBN 10: | 3662568721 |
| Authors: | Draheim, Dirk |
| Publisher: | Springer |
| Edition: | Softcover reprint of the original 1st ed. 2017 |
| Num. pages: | 226 |
| Binding: | Paperback |
| Language: | de |
| Published on: | 2018 |
Read the reviews and/or buy it on Amazon.com
