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

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

Bibliographic Details
Main Author: Draheim, Dirk. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Subjects:
Information theory.
Computer science.
Theory of Computation.
Programming Languages, Compilers, Interpreters.
Probability and Statistics in Computer Science.
Description
Physical Description:VIII, 218 p. 6 illus. : online resource.
ISBN:9783642551987

Similar Items