Cáccamo MJ, Winskel G. A Higher-Order Calculus for Categories. BRICS [Internet]. 4. juni 2001 [henvist 13. marts 2025];8(27). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21687