Cáccamo, Mario Jose, and Glynn Winskel. “A Higher-Order Calculus for Categories”. BRICS Report Series 8, no. 27 (June 4, 2001). Accessed April 24, 2024. https://tidsskrift.dk/brics/article/view/21687.