G.: A Higher-Order Calculus for Categories (2001)

by M Cáccamo, Winskel