Interactions between Category Theory and Computer Science

J. Gray,M. Pitts,Sieber
Abstract:
What problem does this paper attempt to address?