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

Detalles Bibliográficos
Autor principal:	Draheim, Dirk. (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	eBook
Lenguaje:	English
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Materias:	Information theory. Computer science. Theory of Computation. Programming Languages, Compilers, Interpreters. Probability and Statistics in Computer Science.

Descripción
Descripción Física:	VIII, 218 p. 6 illus. : online resource.
ISBN:	9783642551987

Ejemplares similares