1
Programs as Diagrams [E-Book] : From Categorical Computability to Computable Categories /