
Tell your friends about this item:
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics Softcover reprint of the original 1st ed. 2017 edition
Dirk Draheim
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics Softcover reprint of the original 1st ed. 2017 edition
Dirk Draheim
218 pages, 5 Tables, black and white; 6 Illustrations, black and white; VIII, 218 p. 6 illus.
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | May 4, 2018 |
ISBN13 | 9783662568729 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 218 |
Dimensions | 326 g |