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