Synthetic topology in HoTT for probabilistic programming - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :
No file

Dates and versions

hal-01405762 , version 1 (30-11-2016)

Identifiers

  • HAL Id : hal-01405762 , version 1

Cite

Florian Faissole, Bas Spitters. Synthetic topology in HoTT for probabilistic programming. The Third International Workshop on Coq for Programming Languages (CoqPL 2017), Jan 2017, Paris, France. ⟨hal-01405762⟩
170 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More