Models of a Non-Associative Composition

Guillaume Munch-Maccagnoni 1, 2
2 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Résumé : Nous caractérisons l'ordre d'évaluation polarisé à travers une structure catégorielle dont l'hypothèse que la composition est associative est relâchée. Duploïde est le nom de la structure, par référence aux algèbres dupliciales de Loday. Le résultat principal est une réflection Adj→Dupl où Dupl est une catégorie des duploïdes et des foncteurs de duploïdes, et Adj est la catégorie des adjonctions et des pseudo-morphismes d'adjonctions. Le résultat suggère que les biais des sémantiques dénotationnelles: indirectes, en appel par valeur, en appel par nom... sont des façons de cacher le fait que la composition n'est pas toujours associative.
Type de document :
Communication dans un congrès
Anca Muscholl. FOSSACS 2014 - 17th International Conference on Foundations of Software Science and Computation Structures, Apr 2014, Grenoble, France. Springer, 8412, pp.396-410, 2014, 〈10.1007/978-3-642-54830-7_26〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00996729
Contributeur : Guillaume Munch-Maccagnoni <>
Soumis le : lundi 26 mai 2014 - 18:06:42
Dernière modification le : vendredi 25 mai 2018 - 12:02:06
Document(s) archivé(s) le : mardi 26 août 2014 - 12:20:32

Fichier

duploids.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Guillaume Munch-Maccagnoni. Models of a Non-Associative Composition. Anca Muscholl. FOSSACS 2014 - 17th International Conference on Foundations of Software Science and Computation Structures, Apr 2014, Grenoble, France. Springer, 8412, pp.396-410, 2014, 〈10.1007/978-3-642-54830-7_26〉. 〈hal-00996729〉

Partager

Métriques

Consultations de la notice

240

Téléchargements de fichiers

223