Return to Article Details Categorial Heterogeneous Algebraic Models of Programming Languages Download Download PDF