Export Ready — 
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.

Sistema de Bibliotecas del Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items