Return to Article Details Optimisation as an Algebraic Axiom in Cartesian Closed Categories: Applications to Dataflow Networks Download Download PDF