Freyd is Kleisli, for arrows (2006)

by B Jacobs, I Hasuo
Venue:In Proc. MSFP’06