Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics /
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: |
Ejemplares similares
-
Generalized Jeffrey Conditionalization : A Frequentist Semantics of Partial Conditionalization /
por: Draheim, Dirk.
Publicado: (2017) -
Doubly Classified Model with R /
por: Tan, Teck Kiang.
Publicado: (2017) -
Learn to Program with C /
por: Kalicharan, Noel.
Publicado: (2015) -
Beginning Ruby : From Novice to Professional /
por: Cooper, Peter.
Publicado: (2016) -
Common Lisp Recipes A Problem-Solution Approach /
por: Weitz, Edmund.
Publicado: (2016)