Two-dimensional linear algebra (2001)

by J M E Hyland, A J Power
Venue:Proc. CMCS 2001 ENTCS