Login / Signup

Coherence for monoidal endofunctors.

Kosta DosenZoran Petric
Published in: Math. Struct. Comput. Sci. (2010)
Keyphrases
  • equational theories