27 citations · 83 across the 17 of their papers we have counts for
1 paper · 2 filters
Danel Ahman, Andrej Bauer
We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show…