Synthetic topology in homotopy type theory for probabilistic programming - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Poster Communications Year : 2017

Synthetic topology in homotopy type theory for probabilistic programming

No file

Dates and versions

hal-01485397 , version 1 (08-03-2017)

Identifiers

  • HAL Id : hal-01485397 , version 1

Cite

Florian Faissole, Bas Spitters. Synthetic topology in homotopy type theory for probabilistic programming. PPS 2017 - Workshop on probabilistic programming semantics , Jan 2017, Paris, France. pp.3. ⟨hal-01485397⟩
295 View
0 Download

Share

Gmail Facebook X LinkedIn More