A modal theory of arrows : arrow logics I
A modal theory of arrows : arrow logics I / Dimiter Vakarelov