Cáccamo, Mario Jose

• BRICS Report Series No. 27 (2001): RS-27 A Higher-Order Calculus for Categories - Articles
  A Higher-Order Calculus for Categories
  Abstract  PDF