Skip to Main content Skip to Navigation
Conference papers

Synthetic topology in HoTT for probabilistic programming

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01405762
Contributor : Sylvie Boldo <>
Submitted on : Wednesday, November 30, 2016 - 1:47:26 PM
Last modification on : Thursday, July 8, 2021 - 3:46:31 AM

Identifiers

  • HAL Id : hal-01405762, version 1

Citation

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⟩

Share

Metrics

Record views

344