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