Synthetic topology in homotopy type theory 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 :
Poster
PPS 2017 - Workshop on probabilistic programming semantics , Jan 2017, Paris, France. pp.3
Liste complète des métadonnées

https://hal.inria.fr/hal-01485397
Contributeur : Florian Faissole <>
Soumis le : mercredi 8 mars 2017 - 16:35:49
Dernière modification le : jeudi 11 janvier 2018 - 06:25:27

Identifiants

  • HAL Id : hal-01485397, version 1

Citation

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〉

Partager

Métriques

Consultations de la notice

262