Filter
Sökt på: lambda calculus with types
Den utgåva du söker (isbn 9781139891974)
är slut på förlaget eller av annan anledning inte tillgänglig.
Vi gjorde istället en sökning på titeln lambda calculus with types vilket gav 1 träff
Vi gjorde istället en sökning på titeln lambda calculus with types vilket gav 1 träff
Filter
Semantics of the Probabilistic Typed Lambda Calculus
inbunden,
2017,
Engelska,
ISBN 9783642551970
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, …