Login / Signup

Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories.

Jean-Simon Pacaud Lemay
Published in: Log. Methods Comput. Sci. (2019)
Keyphrases