Synthetic topology in homotopy type theory for probabilistic programming - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Poster Année : 2017

Synthetic topology in homotopy type theory for probabilistic programming

Domaines

Informatique [cs]

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

Fichier non déposé

Dates et versions

hal-01485397 , version 1 (08-03-2017)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 LRI-VALS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
295 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More