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

von Dirk Draheim

Gebunden

EAN=ISBN-13: 978-3-642-55197-0

ISBN-10: 3-642-55197-1

S. auch:
2018	Taschenbuch	Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics