Login / Signup
Synthetic topology in Homotopy Type Theory for probabilistic programming.
Martin E. Bidlingmaier
Florian Faissole
Bas Spitters
Published in:
Math. Struct. Comput. Sci. (2021)
Keyphrases
</>
theoretical framework
bayesian networks
probability theory
programming language
data driven
generative model
fixed point
computational model
imprecise probabilities
general theory
context sensitive
probabilistic model
information retrieval
topology preserving
database systems
formal theory
case study