
Tell your friends about this item:
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics 1st ed. 2017 edition
Dirk Draheim
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics 1st ed. 2017 edition
Dirk Draheim
218 pages, 6 black & white illustrations, 5 black & white tables, biography
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | March 10, 2017 |
ISBN13 | 9783642551970 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 218 |
Dimensions | 247 × 165 × 19 mm · 498 g |
Language | French |