Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Springer-Verlag GmbH (9783642551970 / 22204812) | Semantics of the Probabilistic
Springer-Verlag GmbH (9783642551970 / 22204812) | Semantics of the Probabilistic
(9781447163671) | Fernandez Programming Languages, Programming Languages
(9783642413889 / 191 black & white illustrations, 10 colo)
(9783319226859 / biography) | Advances in Proof-Theoretic Semantics
Lang, Peter (9783039114450 / 20025773)