Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

by Dirk Draheim (Author)

$123.95

Save:$11.35 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 228
Edition: Softcover reprint of the original 1st ed. 2017
Publisher: Springer
Published: 04 May 2018

ISBN 10: 3662568721
ISBN 13: 9783662568729