Lenses, fibrations and universal translations
JOHNSON, MICHAEL ; ROSEBRUGH, ROBERT ; WOOD, R. J.
Mathematical structures in computer science, 2012-02, Vol.22 (1), p.25-42
[Revista revisada por pares]
Cambridge, UK: Cambridge University Press
Texto completo disponible