Affine Monads and Side-Effect-Freeness

Abstract : The notions of side-effect-freeness and commutativity are typical for probabilistic models, as subclass of quantum models. This paper connects these notions to properties in the theory of monads. A new property of a monad (‘strongly affine’) is introduced. It is shown that for such strongly affine monads predicates are in bijective correspondence with side-effect-free instruments. Also it is shown that these instruments are commutative, in a suitable sense, for monads which are commutative (monoidal).
Type de document :
Communication dans un congrès
Ichiro Hasuo. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. Lecture Notes in Computer Science, LNCS-9608, pp.53-72, 2016, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-319-40370-0_5〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01446033
Contributeur : Hal Ifip <>
Soumis le : mercredi 25 janvier 2017 - 15:24:27
Dernière modification le : mercredi 25 janvier 2017 - 15:31:57
Document(s) archivé(s) le : mercredi 26 avril 2017 - 15:07:29

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Bart Jacobs. Affine Monads and Side-Effect-Freeness. Ichiro Hasuo. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. Lecture Notes in Computer Science, LNCS-9608, pp.53-72, 2016, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-319-40370-0_5〉. 〈hal-01446033〉

Partager

Métriques

Consultations de la notice

64