Return to Article Details New Approach to Categorical Semantics for Procedural Languages Download Download PDF