Models of a Non-associative Composition

DOI10.1007/978-3-642-54830-7_26zbMath1405.68176OpenAlexW129833001MaRDI QIDQ5410686

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

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

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Gradual type theory

This page was built for publication: Models of a Non-associative Composition