Presenting Functors by Operations and Equations.

Marcello M. Bonsangue, Alexander Kurz

Browse the full FOSSACS paper archive.