Semantics of the Probabilistic Typed Lambda Calculus
Subtitle: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Publisher: Springer
Published: Mar 02, 2017
Format: hardcover
Number of pages: 218
ISBN-13: 9783642551970
Notes: Source title: Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics