Cáccamo, M. J. and Winskel, G. (2001) “A Higher-Order Calculus for Categories”, BRICS Report Series, 8(27). doi: 10.7146/brics.v8i27.21687.