Communication Dans Un Congrès
Année : 2017
Sylvie Boldo : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01405762
Soumis le : mercredi 30 novembre 2016-13:47:26
Dernière modification le : mardi 13 février 2024-03:25:13
Dates et versions
Identifiants
- HAL Id : hal-01405762 , version 1
Citer
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
172
Consultations
0
Téléchargements