105
click to vote
ENTCS
2010
15 years 3 months ago
2010
The notion of arrow by Hughes is an axiomatization of the algebraic structure possessed by structured computations in general. We claim that an arrow also serves as a basic compon...