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〉
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
