Skip to main content

Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg−Moore Categories

Jean−Simon Pacaud Lemay

Book Title
3rd International Conference on Formal Structures for Computation and Deduction‚ FSCD 2018‚ July 9−12‚ 2018‚ Oxford‚ UK
Pages
21:1–21:20
Year
2018