1. A higher-order calculus for categories;Mario C�ccamo;Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '01,2001
2. On closed categories of functors;Brian Day;Reports of the Midwest Category Seminar IV,1970
3. On structuring functional programs with monoidal profunctors;Alexandre Garcia De Oliveira;Electronic Proceedings in Theoretical Computer Science,2022