Synthetic topology in HoTT for probabilistic programming

Florian Faissole 1 Bas Spitters 2
1 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Type de document :
Communication dans un congrès
The Third International Workshop on Coq for Programming Languages (CoqPL 2017), Jan 2017, Paris, France. 〈http://conf.researchr.org/track/POPL-2017/CoqPL-2017-papers〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01405762
Contributeur : Sylvie Boldo <>
Soumis le : mercredi 30 novembre 2016 - 13:47:26
Dernière modification le : jeudi 5 avril 2018 - 12:30:22

Identifiants

  • 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. 〈http://conf.researchr.org/track/POPL-2017/CoqPL-2017-papers〉. 〈hal-01405762〉

Partager

Métriques

Consultations de la notice

290