Login / Signup
Coherence for monoidal monads and comonads.
Kosta Dosen
Zoran Petric
Published in:
Math. Struct. Comput. Sci. (2010)
Keyphrases
</>
equational theories
artificial intelligence
database systems
general purpose