Exponentiable Streams and Prestreams

Jean Goubault-Larrecq

doi:10.1007/s10485-013-9315-x

Article Dans Une Revue Applied Categorical Structures Année : 2014

Exponentiable Streams and Prestreams

(1)

1

Jean Goubault-Larrecq

Fonction : Auteur
PersonId : 19784
IdHAL : jean-goubault-larrecq
ORCID : 0000-0001-5879-3304
IdRef : 050235516

Laboratoire Spécification et Vérification

CV

Domaines

Topologie algébrique [math.AT] Catégories et ensembles [math.CT]

Fichier principal

streams-fixed.pdf (464.71 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03189894

Soumis le : samedi 24 juillet 2021-15:57:23

Dernière modification le : lundi 22 avril 2024-13:50:33

Archivage à long terme le : lundi 25 octobre 2021-18:05:25

Dates et versions

hal-03189894 , version 1 (24-07-2021)

Identifiants

HAL Id : hal-03189894 , version 1
DOI : 10.1007/s10485-013-9315-x

Citer

Jean Goubault-Larrecq. Exponentiable Streams and Prestreams. Applied Categorical Structures, 2014, 22 (3), pp.515-549. ⟨10.1007/s10485-013-9315-x⟩. ⟨hal-03189894⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN ENS-PARIS-SACLAY

52 Consultations

36 Téléchargements

Exponentiable Streams and Prestreams

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager