Cáccamo, M. J.; Winskel, G. A Higher-Order Calculus for Categories. BRICS 2001, 8.