G.: A higher-order calculus for categories (2001)

by M J Cáccamo, Winskel