Skip to Main content Skip to Navigation
New interface
Conference papers

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
Abstract : We characterise the polarised evaluation order through a categorical structure where the hypothesis that composition is associative is relaxed. Duploid is the name of the structure, as a reference to Jean-Louis Loday's duplicial algebras. The main result is a reflection Adj→Dupl where Dupl is a category of duploids and duploid functors, and Adj is the category of adjunctions and pseudo maps of adjunctions. The result suggests that the various biases in denotational semantics: indirect, call-by-value, call-by-name... are a way of hiding the fact that composition is not always associative.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Guillaume Munch-Maccagnoni Connect in order to contact the contributor
Submitted on : Monday, May 26, 2014 - 6:06:42 PM
Last modification on : Friday, January 21, 2022 - 3:21:20 AM
Long-term archiving on: : Tuesday, August 26, 2014 - 12:20:32 PM


Files produced by the author(s)




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



Record views


Files downloads