Poster
Année : 2017
Florian Faissole : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01485397
Soumis le : mercredi 8 mars 2017-16:35:49
Dernière modification le : mardi 13 février 2024-03:25:13
Dates et versions
Identifiants
- HAL Id : hal-01485397 , version 1
Citer
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⟩
Collections
301
Consultations
0
Téléchargements