Conference Papers
Year :
Sylvie Boldo : Connect in order to contact the contributor
https://inria.hal.science/hal-01405762
Submitted on : Wednesday, November 30, 2016-1:47:26 PM
Last modification on : Friday, March 24, 2023-2:53:03 PM
Dates and versions
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⟩
Collections
170
View
0
Download