Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics 2017 Edition Contributor(s): Draheim, Dirk (Author) |
|
ISBN: 3642551971 ISBN-13: 9783642551970 Publisher: Springer OUR PRICE: $123.49 Product Type: Hardcover - Other Formats Published: March 2017 |
Additional Information |
BISAC Categories: - Computers | Compilers - Mathematics | Logic - Computers | Data Processing |
Dewey: 005.131 |
Physical Information: 0.56" H x 6.14" W x 9.21" (1.10 lbs) 218 pages |