Introducción, bibliografía, más functores adjuntos y más lógica

Author: Zegeri