Showing 1 - 2 results of 2 for search 'Draheim, Dirk.', query time: 0.01s Refine Results
1
Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics /
by Draheim, Dirk.
Published 2017
eBook
2
Generalized Jeffrey Conditionalization : A Frequentist Semantics of Partial Conditionalization /
by Draheim, Dirk.
Published 2017
eBook
Search Tools: Get RSS Feed — Email this Search