research
∙
12/11/2020
Modules over monads and operational semantics
This paper is a contribution to the search for efficient and high-level ...
share
research
∙
11/14/2019
Reduction Monads and Their Signatures
In this work, we study 'reduction monads', which are essentially the sam...
research
∙
03/03/2019
Modular specification of monads through higher-order presentations
In their work on second-order equational logic, Fiore and Hur have studi...
research
∙
05/09/2018