Login / Signup

Synthetic topology in Homotopy Type Theory for probabilistic programming.

Martin E. BidlingmaierFlorian FaissoleBas Spitters
Published in: Math. Struct. Comput. Sci. (2021)
Keyphrases