Compare programs as diagrams: from categorical computability to computable categories (theory and applications of computability) products from over 5,000 stores
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)