Save on Draheim Dirk products at EMS Linux. Hurry! Limited time offers. Offers valid only while supplies last.
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
ean: 9783642551970, isbn: 3642551971,
This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, which is the typed lambda calculus with recursion plus probabilistic c...
Viewing Page 1 of 1
Feel free to Browse Our Catalog.