"Endofunctors modelling higher-order behaviours."

Marco Peressotti (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics