This paper is a contribution to the search for efficient and high-level
...
In this work, we study 'reduction monads', which are essentially the sam...
In their work on second-order equational logic, Fiore and Hur have studi...
We present a device for specifying and reasoning about syntax for dataty...