Models of a non-associative composition

DOI10.1007/978-3-642-54830-7_26MaRDI QIDQ5410686zbMATH OpenOpenAlexFDO

Authors Guillaume Munch-Maccagnoni

Publication date 16 April 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-00996729/document

Mathematics Subject Classification ID

Logic in computer science (03B70) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55)

Recommendations

• Polarities in logic and semantics
• A theory of effects and resources: adjunction models and polarised calculi
• Premonoidal categories and notions of computation
• On the ambiguation of Polish notation
• scientific article; zbMATH DE number 2125662

Cited in

(4)

• Gradual type theory
• Beyond polarity: towards a multi-discipline intermediate language with sharing
• Compiling with classical connectives
• The univalence principle

This page was built for publication: Models of a non-associative composition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5410686)