Synthetic topology in Homotopy Type Theory for probabilistic programming.
Martin E. BidlingmaierFlorian FaissoleBas SpittersPublished in: CoRR (2019)
Keyphrases
- real world
- theoretical framework
- probabilistic model
- programming language
- probability theory
- neural network
- data driven
- information retrieval
- context sensitive
- development environment
- decision theory
- fixed point
- real images are presented
- probabilistic logic
- computer programming
- theoretical basis
- binary images
- computational model
- machine learning
- multiscale