Sign in

Coherent Presentations of Monoidal Categories.

Pierre-Louis CurienSamuel Mimram
Published in: Log. Methods Comput. Sci. (2017)
Keyphrases