Semantics of the Probabilistic Typed Lambda Calculus
Subtitle: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Publisher: Springer
Published: May 09, 2018
Format: paperback
Number of pages: 228
ISBN-13: 9783662568729
Notes: Source title: Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics