| Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics Softcover Repri Edition Contributor(s): Draheim, Dirk (Author) |
|
 |
ISBN: 3662568721 ISBN-13: 9783662568729 Publisher: Springer OUR PRICE: $123.49 Product Type: Paperback - Other Formats Published: May 2018 |
| Additional Information |
| BISAC Categories: - Computers | Compilers - Mathematics | Logic - Computers | Data Processing |
| Dewey: 005.131 |
| Physical Information: 0.48" H x 6.14" W x 9.21" (0.72 lbs) 218 pages |